function initMenu()
{
	var navroot = document.getElementById("main-nav")
	if(navroot)
	{
	  var nodes = navroot.getElementsByTagName("li");
		for (var i=0; i<nodes.length; i++)
		{
			nodes[i].onmouseover = function()
			{
				this.className += " hover";
			}
			nodes[i].onmouseout  = function()
			{
				this.className = this.className.replace(" hover", "");
			}
		}
	}
}
if (document.all && !window.opera ) window.attachEvent("onload", initMenu);