function toonmenu(elmnt)
				{
				document.getElementById(elmnt).style.visibility="visible"
				}
				function verstopmenu(elmnt)
				{
				document.getElementById(elmnt).style.visibility="hidden"
				}