var hidetimeout;
		function showsubmenu(submenu){
			hideall();
			document.getElementById(submenu).style.display='block';
			window.clearTimeout(hidetimeout);
			//alert('test');
		}
		function setmenutohidden(submenu){
			document.getElementById(submenu).style.display='none';
			//alert("setmenutohidden");
		}
		function hidesubmenu(submenu){
			//alert("works");
			hidetimeout = window.setTimeout("setmenutohidden('"+submenu+"')", 750);
		}