function initNav()
{
	var navRoot = document.getElementById("navigation");
	var lis = navRoot.getElementsByTagName("li");
	for (var i=0; i<lis.length; i++)
	{
		lis[i].onmouseover = function()
		{
			if(this.className.indexOf("hover") == -1)
				{
					this.className += " hover";
				}
		}
		lis[i].onmouseout = function()
		{
			this.className = this.className.replace("hover", "");
		}
	}
}

if (document.all && !window.opera)
{
	window.attachEvent("onload", initNav);
}