//<!--
//<![CDATA[
	function menuhide(menunum) {
		var currentmenu = document.getElementById("submenu" + menunum);
		currentmenu.style.visibility = 'hidden';
//		currentmenu.style.display = 'none';
	}

	function menushow(menunum) {
		var currentmenu = document.getElementById("submenu" + menunum);
		currentmenu.style.visibility = 'visible';
//		currentmenu.style.display = 'block';
	}
	
	function highlight(el, onoff){
		if(onoff){
			el.style.background = '#ff0000';
		}else{
			el.style.background = '#00ff00';
		}
	}
//]]>
//-->