function setupMenu() {
	var menuTitles = document.getElementById("navMenu").getElementsByTagName("LI");
	for (var i = 0; i < menuTitles.length; i++) {
		menuTitles[i].onmouseover=function() {
			this.className+=" displayMenu";
		}
		menuTitles[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" displayMenu\\b"), "");
		}
	}
}
if (window.attachEvent)	{
	window.attachEvent("onload", setupMenu);
}