// submenu script/methods/vars
var current_menu;
var hidetimeout;
var holdtime = 2000;
function showDropMenu (which_menu) {
	hideDrops();
	var menu = document.getElementById(which_menu);
	//if (current_menu != menu) hideDrops();
	current_menu = menu;
	current_menu.style.visibility = "visible";
	clearDropTimer();
}
function hideDrops () {
	if (current_menu != null) current_menu.style.visibility = "hidden";
	clearDropTimer();
}
function setDropTimer () {
	hidetimeout = setTimeout("hideDrops()",holdtime);
}
function clearDropTimer () {
	clearTimeout(hidetimeout);
}