<!--
var g_oldMenu;
var popTimer;

function menu_action(src, showMenu) {
	if (showMenu == true) {
		// Clear our timer
		window.clearTimeout(popTimer);								 

		// Check for menu waiting to be hidden
		if ((g_oldMenu != null)) {
			close_menu();
		}
			
		src.style.visibility = "visible";
	} else {
		// Set up our timer for closing this menu
		g_oldMenu = src;
		popTimer = window.setTimeout('close_menu()', 400);
	}		
}

function close_menu() {		
	g_oldMenu.style.visibility = "hidden";
	g_oldMenu = null;
}

function highlight_menu(src, src2, showMenu) {			
	if (showMenu == true) {
		src.style.backgroundColor="#666666";
		src.style.color="#FFFFFF";
		src2.style.color="#FFFFFF";
	} else {
		src.style.backgroundColor="#999999";
		src.style.color="#FFFFFF";
		src2.style.color="#FFFFFF";
	}		
}

function jumpTo(url) {
	self.location.href = url;
}
// -->