// JavaScript Document

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