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