var menu_hide_id=0;

var current_menu=0;


function realHideMenu(){

	clearTimeout(menu_hide_id);

	if(current_menu)

		current_menu.style.display="none";

}

function HideMenu(){

	menu_hide_id=window.setTimeout("realHideMenu()",300);

}

function ShowMenu( menu )

{
	realHideMenu();
	
		this_menu    = document.getElementById( menu );
		
		current_menu = this_menu;
		
		current_menu.style.display ="block";
		current_menu.style.visibility ="visible";
	
}