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

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