// JavaScript Document
	function vis(menu) {
		document.getElementById(menu).style.visibility = "visible";
	}

	function inv(menu) {
		document.getElementById(menu).style.visibility = "hidden";
	}
	
	function col(smenu,menu) {
		document.getElementById(menu).style.background = "#ffcc00";
		document.getElementById(menu).style.border = "1px solid #000000";
		document.getElementById(smenu).style.background = "#ffffff"; //"#00ccff";
	}

	function incol(smenu,menu) {
		document.getElementById(menu).style.background = "";
		document.getElementById(menu).style.border = "";
		document.getElementById(smenu).style.background = "#ffcc00";
	}