var eOpenMenu = null;
function document.onmouseover ()
	{ var eSrc = window.event.srcElement;
		if (eSrc.className == "header-index")
	{ var eMenu = document.all[eSrc.id.replace("menu","child")];
		if (eOpenMenu && eOpenMenu != eMenu)
	{ closeMenu(eOpenMenu); }
		if (eMenu) { openMenu(eSrc,eMenu); } }
	else
	if (eOpenMenu && !eOpenMenu.contains(eSrc) && !header.contains(eSrc))
	{ closeMenu(eOpenMenu); }}

function openMenu (eSrc,eMenu)
	{ eMenu.style.left = eSrc.offsetLeft;
	  eMenu.style.top = header.offsetHeight;
	  eMenu.style.visibility = "visible";
	  eOpenMenu = eMenu; }

function closeMenu (eMenu)
	{ eMenu.style.visibility = "hidden";
	  eOpenMenu = null; }