function menuOn(x){ 	document.getElementById("submenu"+x).style.display="block";}function menuOff(x){ 	document.getElementById("submenu"+x).style.display="none";}
