function show_menu(smenu_id) {
	var smenus = document.getElementById("menu").getElementsByTagName("ul");
	for(var i=0; i<smenus.length; i++) {
		smenus[i].style.display = "none";
	}
	document.getElementById(smenu_id).style.display = "block";
}