base.length-1) == "/" ) {
      if( base.charAt(base.length-2) == "/" ) {
        base = base.substr(0,base.length-1)
      }
    }
    else {
      base += "/";
    }
    var dest = base + "emulator/index.html?" + parts[1];
    if(parts[1]=="start") { dest = base + "emulator/index.html"; }
    console.log("dest=",dest)
    window.location.replace( dest );
  }
}

function openDiv( id ) {
  var div = document.getElementById(id + "DIV");
  div.style.display = 'block';
}

function blinkAlert() {
  var div = do