<!--
// initialize global that helps manage menu hiding
var timer;
  
// invoked from mouseovers inside menus to cancel hide
// request from mouseout of menu bar image et al.
function keepMenu() {
	clearTimeout(timer);
}
  
function cancelAll() {
	keepMenu();
	menuReady = false;
}
  
// invoked from mouseouts to request hiding all menus
// in 1/4 second, unless cancelled
function requestHide(obj) {
	timer = setTimeout("hideMenu('" + obj + "')", 250);
}
  
// "brute force" hiding of all menus and restoration
// of normal menu bar images

function hideMenu(obj) {
	if (document.getElementById) {
		document.getElementById(obj).style.display = "none";
	}
}


function showMenu(sender, obj) {
	if (document.getElementById) {
		var senderObj = document.getElementById(sender);
		var subMenuStyle = document.getElementById(obj).style;
		subMenuStyle.position = "absolute";
		subMenuStyle.left = senderObj.offsetWidth + "px";
		subMenuStyle.top = senderObj.offsetTop + "px";
		subMenuStyle.display = "block";
		return false;
	}
	else {
		return true;
	} 
}

//-->