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