function showMenu(id) {
		document.getElementById(id).style.visibility = "visible";
	}
	
	function hideMenuIE(id) {
		document.getElementById(id).style.visibility = "hidden";
	}
	
	function hideMenu(id, e) {
		// IE uses window.event and srcElement
		// Others use event and target
		/*
		if (window.event) {
			// Do it the IE way with onMouseLeave
		}
		else {
*/
			var tg = (window.event) ? e.srcElement : e.target;
	
			if (tg.nodeName != 'LI')
				return;
	
			// IE uses toElement
			// Others use relatedTarget
			var reltg = (e.relatedTarget) ? e.relatedTarget : e.toElement;
	
			while (reltg != tg && reltg.nodeName != 'BODY')
				reltg = reltg.parentNode;
				
			if (reltg == tg)
				return;
				
			document.getElementById(id).style.visibility = "hidden";
		//}
	}