// Hides the index submenu.
function hideMenu(event) {
	var oTarget;

	if (event.toElement != null) {
		oTarget = event.toElement;
	} else {
		oTarget = event.relatedTarget;
	}
	if (oTarget)
		{
		if ((oTarget.tagName.toUpperCase() != "A")&&(oTarget.tagName.toUpperCase() != "TD")) {
			document.getElementById('indexMenu').style.display="none";
		}
	}
}

// Displays the index submenu.
function showMenu(sItem) {
	document.getElementById(sItem).style.display='block';
}