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

if (window.attachEvent && !window.opera)
	attachEvent("onload", initPage);