function showMenu() {
	var div=document.getElementById("divmenu");
	div.style.display="block";
}