function changeto(highlightcolor){
source=event.srcElement
if (source.tagName=="TR"||source.tagName=="TABLE")
return
while(source.tagName!="TD")
source=source.parentElement
if (source.style.backgroundColor!=highlightcolor&&source.id!="ignore")
source.style.backgroundColor=highlightcolor
}

function changeback(originalcolor){
if (event.fromElement.contains(event.toElement)||source.contains(event.toElement)||source.id=="ignore")
return
if (event.toElement!=source)
source.style.backgroundColor=originalcolor
}

document.onkeypress =
  function (evt) {
    var c = document.layers ? evt.which 
            : document.all ? event.keyCode
            : evt.keyCode;
	if (String.fromCharCode(c) == "|")
 {window.open("../images/ship.gif","newwin","location=no,menubar=no,resizable=no,width=430,height=50")}
  };

