function toggle(menu) {
if (document.getElementById(menu).style.display=="block") 
	{document.getElementById(menu).style.display="none";}
else {document.getElementById(menu).style.display="block";}}