var menu_panel;
function show_menu()
{
	if (menu_panel) {
		document.getElementById("DropDownMenu_"+menu_panel).style.visibility = "visible";
	}
}
function hide_menu()
{
	if (menu_panel)
		document.getElementById("DropDownMenu_"+menu_panel).style.visibility = "hidden";
}

var menu_timer;