// JavaScript Document
<!--

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

//-->