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