
// MENUS

	// find the documnent position of the given DOM object
	
	function findPosX(obj) {
		var curleft = 0;
		if(obj.offsetParent)
			while(1) {
				curleft += obj.offsetLeft;
				if(!obj.offsetParent)
					break;
				obj = obj.offsetParent;
			}
		else if(obj.x)
			curleft += obj.x;
		return curleft;
	}
		
	function findPosY(obj) {
		var curtop = 0;
		if(obj.offsetParent)
			while(1) {
				curtop += obj.offsetTop;
				if(!obj.offsetParent)
					break;
				obj = obj.offsetParent;
			}
		else if(obj.x)
			curtop += obj.x;
		return curtop;
	}
	
	// find the document position of the mouse at the time of the given event

	function mouseX(evt) {
		if (evt.pageX) return evt.pageX;
		else if (evt.clientX)
		   return evt.clientX + (document.documentElement.scrollLeft ?
		   document.documentElement.scrollLeft :
		   document.body.scrollLeft);
		else return null;
	}
	
	function mouseY(evt) {
		if (evt.pageY) return evt.pageY;
		else if (evt.clientY)
		   return evt.clientY + (document.documentElement.scrollTop ?
		   document.documentElement.scrollTop :
		   document.body.scrollTop);
		else return null;
	}	

	// Show and hide the dropdown menu
	
	function ShowMenu(pThis) {
		var xMenuSub = pThis.nextSibling.nextSibling;
		xMenuSub.style.left = findPosX(pThis) + 168 +  'px';
		xMenuSub.style.top = findPosY(pThis) + 5 + 'px';
		xMenuSub.style.visibility = 'visible';
	}
	
	function HideMenu (pThis, pEvent) {
		var xMenuSub = pThis.nextSibling.nextSibling;
		var xMouseX = mouseX(pEvent);
		if (xMouseX <= findPosX(pThis)+166) {
			xMenuSub.style.visibility = 'hidden';
		}
	}
	
	function HideSubMenu(pThis, pEvent) {
		var xMouseX = mouseX(pEvent);
		var xMouseY = mouseY(pEvent);
		var xDivX = findPosX(pThis);
		var xDivY = findPosY(pThis);
		if ((xMouseX <= xDivX) || (xMouseY <= xDivY) || (xMouseX >= xDivX + pThis.offsetWidth) | (xMouseY >= xDivY + pThis.offsetHeight)) {
			pThis.style.visibility = 'hidden';
		}
	}
	
	function DropMenuEvent() {
	}
	
	// attach event handlers to the menu anchors (and their dropdowns)
	
	var xMenu = document.getElementById('mhMenu');
	var xNodes = xMenu.childNodes;
	for (var i = 0;  i < xNodes.length-2; i++) {
		var xNode = xNodes[i];
		if (xNode.nodeName == 'A') {
			if (xNode.parentNode.id == 'mhMenu') {
				xNode.onmouseover = function () { ShowMenu(this) };
			} else {
				xNode.onmouseout = function () { DropMenuEvent() };
			}
		}
	};
	
