// show menu
function show_menu(id){
	
	// clear timeouts?
	clearTimeout(document.timer);
	
	// hide current menu, if any
	if(document.menu_out && document.menu_out != id){
		hide_menu();
	}
	
	// set flag
	document.menu_out = id;
	
	// show menu
	document.getElementById(id).className = 'menu';
//	document.getElementById(id+'-h').className = 'menu-h';
}
// ************************************************
// hides menus
function hide_menus(){
	
	// start timer
	document.timer = setTimeout('hide_menu()', 500);
}

function hide_menu(){
	
	// hide current menu, if any
	if(document.menu_out){
		document.getElementById(document.menu_out).className = 'hidden';
	}
	
	// set style of menu link
//	if(document.section && document.section != document.menu_out){
	if(document.section != document.menu_out){
//		document.getElementById(document.menu_out+'-h').className = null;
	}
	
	// clear flag
	document.menu_out = null;
}
// ************************************************