<!--

	function menuOn(id) {
		if (document.getElementById("menu_" + id)) document.getElementById("menu_" + id).style.visibility = "visible";
	}

	function menuOff(id) {   
		if (document.getElementById("menu_" + id)) document.getElementById("menu_" + id).style.visibility = "hidden";
	}

-->