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