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