// JScript File

function showmenu(elmnt)
{   document.getElementById(elmnt).style.visibility="visible";  }
	
function hidemenu(elmnt)
{   document.getElementById(elmnt).style.visibility="hidden";   }