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