function menu (whichMenu,whatState){
	if (document.getElementById)
	{document.getElementById(whichMenu).style.visibility = whatState;}
	else {document[whichMenu].visibility = whatState;}
	}