// global menu state
var menuReady = false;
var menuItemH = 0;			// Calculated whole height of a menu item (margin, border width and padding).
var menuItemW = 0;			// Calculated whole width of a menu item (margin, border width and padding).
var menuItemHAdjust = 0;    // margin + border + padding
var menuItemWAdjust = 0;    // margin + border + padding
var menuWrapperHAdjust = 0;	// Adjustment for sub menu positioning (e.g. padding, border-width).
var menuWrapperWAdjust = 0;	// Adjustment for sub menu positioning (e.g. padding, border-width).
var menuBarH = 0;			// Calculated whole height of the menu bar (margin, border widht and padding).
var menuBarW = 0;			// Calculated whole width of the menu bar (margin, border widht and padding).
var menuBarHAdjust = 0;
var menuBarWAdjust = 0;
var menuBarItemH = 0;
var menuBarItemW = 0;
var menuBarItemHAdjust = 0;
var menuBarItemWAdjust = 0;

var arrSubMenuId = new Array();
var prevSubMenuHierarchy = 0;
var subMenuHierarchy = 0;

var timer;		// Initialize global timer that helps manage menu hiding.

var menuElem = null;
var menuElemArrow = null;


function getElementStyle(elem, IEStyleProp, CSSStyleProp) {
    if (elem.currentStyle) {
        return elem.currentStyle[IEStyleProp];
    } else if (window.getComputedStyle) {
        var compStyle = window.getComputedStyle(elem, "");
        return compStyle.getPropertyValue(CSSStyleProp);
    }
    return "";
} // getElementStyle

function setCssMenuWrapper(menuDiv) {
	menuDiv.style.marginTop =         CSSRuleValues.menuWrapperMarginTop + "px";
	menuDiv.style.marginRight =       CSSRuleValues.menuWrapperMarginRight + "px";
	menuDiv.style.marginBottom =      CSSRuleValues.menuWrapperMarginBottom + "px";
	menuDiv.style.marginLeft =        CSSRuleValues.menuWrapperMarginLeft + "px";
	menuDiv.style.borderTopWidth =    CSSRuleValues.menuWrapperBorderTop + "px";
	menuDiv.style.borderLeftWidth =   CSSRuleValues.menuWrapperBorderLeft + "px";
	menuDiv.style.borderBottomWidth = CSSRuleValues.menuWrapperBorderBottom + "px";
	menuDiv.style.borderRightWidth =  CSSRuleValues.menuWrapperBorderRight + "px";
	menuDiv.style.paddingTop =        CSSRuleValues.menuWrapperPaddingTop + "px";
	menuDiv.style.paddingRight =      CSSRuleValues.menuWrapperPaddingRight + "px";
	menuDiv.style.paddingBottom =     CSSRuleValues.menuWrapperPaddingBottom + "px";
	menuDiv.style.paddingLeft =       CSSRuleValues.menuWrapperPaddingLeft + "px";
}

function setCssMenuItem(menuElem) {
	menuElem.style.marginTop =         CSSRuleValues.menuItemMarginTop + "px";
	menuElem.style.marginRight =       CSSRuleValues.menuItemMarginRight + "px";
	menuElem.style.marginBottom =      CSSRuleValues.menuItemMarginBottom + "px";
	menuElem.style.marginLeft =        CSSRuleValues.menuItemMarginLeft + "px";
	menuElem.style.borderTopWidth =    CSSRuleValues.menuItemBorderTop + "px";
	menuElem.style.borderLeftWidth =   CSSRuleValues.menuItemBorderLeft + "px";
	menuElem.style.borderBottomWidth = CSSRuleValues.menuItemBorderBottom + "px";
	menuElem.style.borderRightWidth =  CSSRuleValues.menuItemBorderRight + "px";
	menuElem.style.paddingTop =        CSSRuleValues.menuItemPaddingTop + "px";
	menuElem.style.paddingRight =      CSSRuleValues.menuItemPaddingRight + "px";
	menuElem.style.paddingBottom =     CSSRuleValues.menuItemPaddingBottom + "px";
	menuElem.style.paddingLeft =       CSSRuleValues.menuItemPaddingLeft + "px";
	menuElem.style.height =            CSSRuleValues.menuItemHeight + "px";
	menuElem.style.width =             CSSRuleValues.menuItemWidth + "px";
} //setCssMenuItem

function calcAdjustment() {
	// Calculate menu item width automatic if not set.
	if (CSSRuleValues.menuItemWidth == 0) {
		CSSRuleValues.menuItemWidth = CSSRuleValues.menuWrapperWidth -
				CSSRuleValues.menuItemMarginLeft -
				CSSRuleValues.menuItemMarginRight -
				CSSRuleValues.menuItemBorderLeft -
				CSSRuleValues.menuItemBorderRight -
				CSSRuleValues.menuItemPaddingLeft -
				CSSRuleValues.menuItemPaddingRight;
	}

    menuItemHAdjust = CSSRuleValues.menuItemMarginTop +
    		CSSRuleValues.menuItemMarginBottom +
    		CSSRuleValues.menuItemBorderTop +
    		CSSRuleValues.menuItemBorderBottom +
    		CSSRuleValues.menuItemPaddingTop +
    		CSSRuleValues.menuItemPaddingBottom;

    menuItemWAdjust = CSSRuleValues.menuItemMarginLeft +
			CSSRuleValues.menuItemMarginRight +
			CSSRuleValues.menuItemBorderLeft +
			CSSRuleValues.menuItemBorderRight +
			CSSRuleValues.menuItemPaddingLeft +
			CSSRuleValues.menuItemPaddingRight;

    menuWrapperHAdjust = CSSRuleValues.menuWrapperMarginTop +
    		CSSRuleValues.menuWrapperMarginBottom +
    		CSSRuleValues.menuWrapperBorderTop +
    		CSSRuleValues.menuWrapperBorderBottom +
    		CSSRuleValues.menuWrapperPaddingTop +
    		CSSRuleValues.menuWrapperPaddingBottom;

    menuWrapperWAdjust = CSSRuleValues.menuWrapperMarginLeft +
			CSSRuleValues.menuWrapperMarginRight +
			CSSRuleValues.menuWrapperBorderLeft +
			CSSRuleValues.menuWrapperBorderRight +
			CSSRuleValues.menuWrapperPaddingLeft +
			CSSRuleValues.menuWrapperPaddingRight;

    menuBarHAdjust = CSSRuleValues.menuBarMarginTop +
    		CSSRuleValues.menuBarMarginBottom +
    		CSSRuleValues.menuBarBorderTop +
    		CSSRuleValues.menuBarBorderBottom +
    		CSSRuleValues.menuBarPaddingTop +
    		CSSRuleValues.menuBarPaddingBottom;

    menuBarWAdjust = CSSRuleValues.menuBarMarginLeft +
			CSSRuleValues.menuBarMarginRight +
			CSSRuleValues.menuBarBorderLeft +
			CSSRuleValues.menuBarBorderRight +
			CSSRuleValues.menuBarPaddingLeft +
			CSSRuleValues.menuBarPaddingRight;

    menuBarItemHAdjust = CSSRuleValues.menuBarItemMarginTop +
    		CSSRuleValues.menuBarItemMarginBottom +
    		CSSRuleValues.menuBarItemBorderTop +
    		CSSRuleValues.menuBarItemBorderBottom +
    		CSSRuleValues.menuBarItemPaddingTop +
    		CSSRuleValues.menuBarItemPaddingBottom;

    menuBarItemWAdjust = CSSRuleValues.menuBarItemMarginLeft +
			CSSRuleValues.menuBarItemMarginRight +
			CSSRuleValues.menuBarItemBorderLeft +
			CSSRuleValues.menuBarItemBorderRight +
			CSSRuleValues.menuBarItemPaddingLeft +
			CSSRuleValues.menuBarItemPaddingRight;

	menuItemH    = CSSRuleValues.menuItemHeight + menuItemHAdjust;
	menuItemW    = CSSRuleValues.menuItemWidth + menuItemWAdjust;

	menuWrapperH = CSSRuleValues.menuWrapperHeight + menuWrapperHAdjust;
	menuWrapperW = CSSRuleValues.menuWrapperWidth + menuWrapperWAdjust;

	menuBarH     = CSSRuleValues.menuBarHeight + menuBarHAdjust;
	menuBarW     = CSSRuleValues.menuBarWidth + menuBarWAdjust;

	menuBarItemH = CSSRuleValues.menuBarItemHeight + menuBarItemHAdjust;
	menuBarItemW = CSSRuleValues.menuBarItemWidth + menuBarItemWAdjust;
} // callAdjustment

// create hash table-like lookup for menu objects with id string indexes
function makeHashes() {
	for (var i = 0; i < menus.length; i++) {
		menus[menus[i].elemId] = menus[i];
		menus[menus[i].menuBarItemId] = menus[i];
	} //for
} // makeHashes

// invoked from init(), generates the menu div elements and their contents.
// all this action is invisible to user during construction
function makeMenu() {
	var menuBar, menuBarItem, menuBarItemLink, menuBarTextNode, menuArrow,
		menuDiv, menuItem, itemLink, mbarImg, textNode, offsetLeft, offsetTop,
		subMenuDiv, subMenuItem, subItemLink, subTextNode;

	calcAdjustment();

	// Create menu bar.
	menuBar = document.createElement("div");
	menuBar.id = "menubar";
	menuBar.style.height = CSSRuleValues.menuBarHeight + "px";
	menuBar.style.width = CSSRuleValues.menuBarWidth + "px";
	// define event handlers

	// set stacking order in case other layers are around the page
	menuBar.style.zIndex = 1001;

	// use menus array to drive div creation loop
	for (var i = 0; i < menus.length; i++) {
		// Create menu bar items.
		menuBarItem = document.createElement("div");
		menuBarItem.id = "menuBarItem_" + i;
		menus[i].menuBarItemId = "menuBarItem_" + i;
		menuBarItem.className = "menuBarItem";
		menuBarItem.style.left = menuBarItemW * i + "px";
		menuBarItem.style.top = 0 + "px";
		menuBarItem.style.height = CSSRuleValues.menuBarItemHeight + "px";
		menuBarItem.style.width = CSSRuleValues.menuBarItemWidth + "px";
		if (menus[i].site.length > 0)
			menuBarItem.onclick = onClickEvt;
		menuBarItem.onmouseover = toggleBarHighlight;
		menuBarItem.onmouseout = toggleBarHighlight;
		menuBarTextNode = document.createTextNode(menus[i].text);
		menuBarItem.appendChild(menuBarTextNode);
		menuBar.appendChild(menuBarItem);


		// Create menus.
		menuDiv = document.createElement("div");
		menuDiv.id = "popupmenu_" + i;
		// preserve menu's ID as property of the menus array item
		menus[i].elemId = "popupmenu_" + i;
		menuDiv.className = "menuWrapper";
		if (menus[i].menuItems.length > 0) {
			menuDiv.style.height = (menuItemH * menus[i].menuItems.length) + "px";
			menuDiv.style.width = CSSRuleValues.menuWrapperWidth + "px";
			setCssMenuWrapper(menuDiv);
		} else {
			// don't display any menu div lacking menu items
			menuDiv.style.display = "none";
		}
		// define event handlers
		menuDiv.onmouseover = keepMenu;
		menuDiv.onmouseout = requestHide;

		// set stacking order in case other layers are around the page
		menuDiv.style.zIndex = 1010;

		// assemble menu item elements for inside menu div
		for (var j = 0; j < menus[i].menuItems.length; j++) {
			menuItem = document.createElement("div");
			menuItem.id = "popupmenuItem_" + i + "_" + j;
			if (menus[i].menuItems[j].menuItems.length == 0)
				menuItem.onclick = onClickEvt;
			setCssMenuItem(menuItem);
			menuItem.onmouseover = toggleHighlight;
			menuItem.onmouseout = toggleHighlight;
			itemLink = document.createElement("a");
			itemLink.className = "menuItem";
 			itemLink.style.height = 100 + "%";
 			itemLink.style.width = 100 + "%";
			if (menus[i].menuItems[j].menuItems.length > 0) {
				// Add sub menu arrow to parent menu item.
				menuArrow = document.createElement("img");
				menuArrow.id = "menu_arrow_" + i + "_" + j;
				menuArrow.src = "images/navigation/menu_arrow.gif";
				menuArrow.style.position = "absolute";
				menuArrow.style.top = 3 + "px";
				menuArrow.style.left = 2 + "px";
				menuArrow.style.border = 0;
				menuArrow.style.background = "transparent";
				menuArrow.style.zIndex = 1011;
				itemLink.appendChild(menuArrow);
			}
			textNode = document.createTextNode(menus[i].menuItems[j].text);
			itemLink.appendChild(textNode);
			menuItem.appendChild(itemLink);
			menuDiv.appendChild(menuItem);

			// Create sub menu if exists.
			if (menus[i].menuItems[j].menuItems.length > 0) {
				subMenuDiv = document.createElement("div");
				subMenuDiv.id = "subpopupmenu_" + i + "_" + j;
				subMenuDiv.className = "menuWrapper";
				subMenuDiv.style.height = (menuItemH * menus[i].menuItems[j].menuItems.length) + "px";
				subMenuDiv.style.width = CSSRuleValues.menuWrapperWidth + "px";
				setCssMenuWrapper(subMenuDiv);
				// define event handlers
				subMenuDiv.onmouseover = keepSubMenu;
				subMenuDiv.onmouseout = requestSubHide;

				// set stacking order in case other layers are around the page
				subMenuDiv.style.zIndex = 1020;

				// assemble menu item elements for inside menu div
				for (var k = 0; k < menus[i].menuItems[j].menuItems.length; k++) {
					subMenuItem = document.createElement("div");
					subMenuItem.id = "subpopupmenuItem_" + i + "_" + j + "_" + k;
					subMenuItem.onclick = onClickEvt;
					subMenuItem.className = "menuItem";
					setCssMenuItem(subMenuItem);
					subMenuItem.onmouseover = toggleSubHighlight;
					subMenuItem.onmouseout = toggleSubHighlight;
					subItemLink = document.createElement("a");
					subItemLink.className = "menuItem";
		 			subItemLink.style.height = 100 + "%";
		 			subItemLink.style.width = 100 + "%";
					subTextNode = document.createTextNode(menus[i].menuItems[j].menuItems[k].text);
					subItemLink.appendChild(subTextNode);
					subMenuItem.appendChild(subItemLink);
					subMenuDiv.appendChild(subMenuItem);
				} //for

				document.body.appendChild(subMenuDiv);
			} //if (sub menu)
		} //for (menu items)
		// append each menu div to the body
		document.body.appendChild(menuDiv);
	} //if (menu)
	var elem = document.getElementById(menuBarParent);
	elem.appendChild(menuBar);

	makeHashes();
//	assignLabelEvents();
	// pre-position menu
	for (i = 0; i < menus.length; i++) {
		positionMenu(menus[i].elemId);
		for (j = 0; j < menus[i].menuItems.length; j++) {
			if (menus[i].menuItems[j].menuItems.length > 0)
				positionSubMenu("popupmenuItem_" + i + "_" + j, "subpopupmenu_" + i + "_" + j);
		} //for
	} //for
	menuReady = true;
} // makeMenu

// Hides last opened sub menu.
function hideLastSubMenu() {
	if (arrSubMenuId.length > 0) {
		var prevSubMenuId = arrSubMenuId.pop();
		var menu = document.getElementById(prevSubMenuId);
		menu.style.visibility = "hidden";
	} //if
} //hideLastSubMenu

// invoked from mouseovers inside menus to cancel hide
// request from mouseout of menu bar image et al.
function keepMenu() {
	clearTimeout(timer);
} // keepMenu

function keepSubMenu() {
	keepMenu();
	if (menuElem != null)
		menuElem.className = "menuItemOn";	// Let menu item highlighted.
	if (prevSubMenuHierarchy < 3)
		prevSubMenuHierarchy = subMenuHierarchy;
	subMenuHierarchy = 2;
} // keepSubMenu

function cancelAll() {
    keepMenu();
    menuReady = false;
} // cancelAll

// invoked from mouseouts to request hiding all menus
// in 1/4 second, unless cancelled
function requestHide() {
	timer = setTimeout("hideAllMenus()", 250);
} // requestHide

function requestSubHide() {
	if (prevSubMenuHierarchy == 3 && subMenuHierarchy == 2) {
		prevSubMenuHierarchy = subMenuHierarchy;
		subMenuHierarchy = 0;
	}
	if (menuElem != null)
		menuElem.className = "menuItem";	// Set appearance of last menu item to normal.
	timer = setTimeout("hideAllMenus()", 250);
} // requestSubHide

// "brute force" hiding of all menus and restoration
// of normal menu bar images
function hideAllMenus() {
	for (var i = 0; i < menus.length; i++) {
		document.getElementById(menus[i].menuBarItemId).className = "menuBarItem";
		var menu = document.getElementById(menus[i].elemId);
		menu.style.visibility = "hidden";
		while (arrSubMenuId.length > 0)
			hideLastSubMenu();
	} //for
} // hideAllMenus

// Changes the source of iframe element.
function changeFrameSrc(source) {
	document.getElementById("contentFrame").src = source;
} // changeFrameSrc

function changeMenuInfoTxt(txt) {
	var elem = document.getElementById("menuInfoSite");
	var elemTxt = document.createTextNode(txt);
	var oldTxt = elem.replaceChild(elemTxt, elem.firstChild);
} //changeMenuBarInfoTxt

// Calls function hideAllMenus and changes the source of iframe element.
function onClickEvt(evt) {
	hideAllMenus();
	evt = (evt) ? evt : ((event) ? event : null);
	if (typeof menuReady != "undefined") {
		if (menuReady && evt) {
			var elem = (evt.target) ? evt.target : evt.srcElement;
			if (elem.className == "menuItemOn")
				elem.className ="menuItem";
			while (elem.id == "") {
				elem = elem.parentNode;
				if (elem.className == "menuItemOn")
					elem.className ="menuItem";
			} //while
			if (evt.type == "click") {
				var elemid = elem.id;
				if (elemid.substring(0,3) == "sub") {
					var i = parseInt(elemid.charAt(17));
					var j = parseInt(elemid.charAt(19));
					var k = parseInt(elemid.charAt(21));
					changeFrameSrc(menus[i].menuItems[j].menuItems[k].site);
					changeMenuInfoTxt(menus[i].menuItems[j].text);
				} else if (elemid.substring(0,3) == "pop") {
					var i = parseInt(elemid.charAt(14));
					var j = parseInt(elemid.charAt(16));
					changeFrameSrc(menus[i].menuItems[j].site);
					changeMenuInfoTxt(menus[i].menuItems[j].text);
				} else {
					var i = parseInt(elemid.charAt(12));
					if (menus[i].site.length > 0) {
						changeFrameSrc(menus[i].site);
						changeMenuInfoTxt(menus[i].text);
					} //if
				} //if/else
			} //if
			evt.cancelBubble = true;
		} //if
	} //if
} // onCklickEvt

// set menu position just before displaying it
function positionMenu(menuId){
	var offsetTop;
	// use the menu bar image for position reference of related div
	var menuBarItem = document.getElementById(menus[menuId].menuBarItemId);
	var offsetTrail = menuBarItem;
	var offsetLeft = 0;
	if (isMenuAbove) {
		offsetTop = -menuItemH * menus[menuId].menuItems.length -
				menuWrapperHAdjust -
				CSSRuleValues.menuBarMarginTop -
				CSSRuleValues.menuBarBorderTop -
				CSSRuleValues.menuBarPaddingTop - menuOffsetTop;
	} else {
		// element.offsetTop includes the border-top-width.
//		offsetTop = menuBarH - CSSRuleValues.menuBarMarginTop -
//				CSSRuleValues.menuBarPaddingTop;
		offsetTop = menuBarH + menuOffsetTop;
	} //if/else
	while (offsetTrail) {
		offsetLeft += offsetTrail.offsetLeft;
		offsetTop += offsetTrail.offsetTop;
		offsetTrail = offsetTrail.offsetParent;
	} //while
	
	if (navigator.userAgent.indexOf("Mac") != -1 && 
		typeof document.body.leftMargin != "undefined") {
		offsetLeft += document.body.leftMargin;
		offsetTop += document.body.topMargin;
	} //while
	
	var menuDiv = document.getElementById(menuId);
	menuDiv.style.left = offsetLeft + "px";
	menuDiv.style.top = offsetTop + "px";
} // positionMenu

// set sub menu position just before displaying it
function positionSubMenu(menuItemId, subMenuId){
	// use the menu bar image for position reference of related div
	var menuItem = document.getElementById(menuItemId);
	var offsetTrail = menuItem;
	// Borders are in element.offsetLeft not included!
/*
	var offsetLeft = CSSRuleValues.menuWrapperBorderLeft +
			menuItemW +
			CSSRuleValues.menuWrapperPaddingRight +
			CSSRuleValues.menuWrapperBorderRight +
			CSSRuleValues.menuWrapperMarginRight + subMenuOffsetLeft;

*/
	var offsetLeft = menuWrapperW + subMenuOffsetLeft;
	var offsetTop = subMenuOffsetTop;
	while (offsetTrail) {
		offsetLeft += offsetTrail.offsetLeft;
		offsetTop += offsetTrail.offsetTop;
		offsetTrail = offsetTrail.offsetParent;
	} //while

	if (navigator.userAgent.indexOf("Mac") != -1 && 
		typeof document.body.leftMargin != "undefined") {
		offsetLeft += document.body.leftMargin;
		offsetTop += document.body.topMargin;
	} //if
    
	var subMenu = document.getElementById(subMenuId);
	subMenu.style.left = offsetLeft + "px";
	subMenu.style.top = offsetTop + "px";
} // positionSubMenu

// display a particular menu div
function showMenu(menuId) {
    if (menuReady) {
        keepMenu();
        hideAllMenus();
        positionMenu(menuId);
        var menu = document.getElementById(menuId);
        menu.style.visibility = "visible";
    } //if
} // showMenu

function showSubMenu(menuItemId, subMenuId) {
    if (menuReady) {
		keepMenu();
    	hideLastSubMenu();
		if (document.getElementById(subMenuId) != null) {
			positionSubMenu(menuItemId, subMenuId);
			var menu = document.getElementById(subMenuId);
			menu.style.visibility = "visible";
			arrSubMenuId.push(subMenuId);
		} //if
    } //if
} // showSubMenu

// menu bar image swapping, invoked from mouse events in menu bar
// swap style sheets for menu items during rollovers
function toggleHighlight(evt) {
	evt = (evt) ? evt : ((event) ? event : null);
	if (typeof menuReady != "undefined") {
		if (menuReady && evt) {
			if (menuElem != null)
				menuElem.className = "menuItem";	// Set appearance of last menu item to normal.
			menuElem = (evt.target) ? evt.target : evt.srcElement;
			if (menuElem.nodeType == 3)
				menuElem = menuElem.parentNode;
			menuElemArrow = menuElem;

			if (evt.type == "mouseover") {
				keepMenu();
				subMenuHierarchy = 0;
				menuElem.className = "menuItemOn";
				if (arrSubMenuId.length == 0)
					prevSubMenuHierarchy = 0;
				while (menuElem.nodeName != "DIV" && menuElem.id == "")
					menuElem = menuElem.parentNode;
				
				var sElemId = menuElem.id.toString();
				var i = sElemId.charAt(sElemId.length - 3);
				var j = sElemId.charAt(sElemId.length - 1);
				
				// Toggle menu arrow.
				var menuArrow = document.getElementById("menu_arrow_" + i + "_" + j);
				if (menuArrow != null)
			 		menuArrow.src = "images/navigation/menuOn_arrow.gif";

				// Show sub menu.
				showSubMenu(menuElem.id, "subpopupmenu_" + i + "_" + j);
			} else {
				menuElem.className ="menuItem";

				// Toggle menu arrow.
 				while (menuElemArrow.nodeName != "DIV" && menuElemArrow.id == "")
 					menuElemArrow = menuElemArrow.parentNode;
				var sElemId = menuElemArrow.id.toString();
				var i = sElemId.charAt(sElemId.length - 3);
				var j = sElemId.charAt(sElemId.length - 1);
				var menuArrow = document.getElementById("menu_arrow_" + i + "_" + j);
				if (menuArrow != null)
			 		menuArrow.src = "images/navigation/menu_arrow.gif";

				requestHide();
			} //if/else
            evt.cancelBubble = true;
        } //if
    } //if
} // toggleHighlight

// Toggles appearance if sub menu item by mouseover.
function toggleSubHighlight(evt) {
	if (subMenuHierarchy == 2) {
		prevSubMenuHierarchy = subMenuHierarchy;
		subMenuHierarchy = 3;
	} else {
		prevSubMenuHierarchy = subMenuHierarchy;
		subMenuHierarchy = 2;
	} //if/else
	evt = (evt) ? evt : ((event) ? event : null);
	if (typeof menuReady != "undefined") {
		if (menuReady && evt) {
			var elem = (evt.target) ? evt.target : evt.srcElement;
			if (elem.nodeType == 3)
				elem = elem.parentNode;
			if (evt.type == "mouseover") {
				keepMenu();
				menuElem.className = "menuItemOn";
				// Set menu arrow to menuOn_arrow again.
				var sElemId = menuElemArrow.id.toString();
				var i = sElemId.charAt(sElemId.length - 3);
				var j = sElemId.charAt(sElemId.length - 1);
				var menuArrow = document.getElementById("menu_arrow_" + i + "_" + j);
				if (menuArrow != null)
			 		menuArrow.src = "images/navigation/menuOn_arrow.gif";
				elem.className = "menuItemOn";
			} else {
				elem.className = "menuItem";
				requestSubHide();
            } //if/else
            evt.cancelBubble = true;
        } //if
    } //if
} // toggleSubHighlight

// Swaps the menu bar image by mouseover
function toggleBarHighlight(evt) {
	evt = (evt) ? evt : ((event) ? event : null);
	if (typeof menuReady != "undefined") {
		if (evt && /*(document.getElementById && document.styleSheets) && */menuReady) {
			var elem = (evt.target) ? evt.target : evt.srcElement;
			if (elem.className == "menuBarItem" || elem.className == "menuBarItemOn") {
				prevSubMenuHierarchy = 0;
				subMenuHierarchy = 0;
				if (evt.type == "mouseover") {
					while (elem.nodeName != "DIV" && elem.id == "")
						elem = elem.parentNode;
					showMenu(menus[elem.id].elemId);
					elem.className = "menuBarItemOn";
				} else if (evt.type == "mouseout")
					requestHide();
				evt.cancelBubble = true;
			} //if
		} //if
	} //if
} //swap

// create menus only if key items are supported
function initMenus() {
// Comment this because of Opera.
//    if (document.getElementById && document.styleSheets) {
        setTimeout("makeMenu()", 5);
        window.onunload = cancelAll;
//    } //if
} // initMenus