function mmenu(ID) {
	
	var menu = document.getElementById(ID);
	var display = menu.style.display;
	menu.style.display = (display == "block") ? "none" : "block";
}