function show_menu(){
		
		if (timeout_var)		
		clearTimeout(timeout_var);
		
		document.getElementById('submenu').style.display='block';
		
	}
	
	var timeout_var='';
	
	function hide_menu(){
		
		timeout_var = setTimeout("hide_menu_now()",500);
		
	}
	
	function hide_menu_now(){
		
		document.getElementById('submenu').style.display='none';
		
	}