	function hideMenu(ID) {
		document.getElementById(ID).style.display="none";
	}
	function showMenu(ID) {
		document.getElementById(ID).style.display="block";
	}
