// JavaScript Document
<!--

function MenuOn(x){
obj=document.getElementById
("submenu"+x).style.visibility="visible";
}
function MenuOff(x){
obj=document.getElementById
("submenu"+x).style.visibility="hidden";
}

function openWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

//-->