function initMenu()
{	
	var _nav = document.getElementById("navigation");
	if (_nav) {
		var nodes = _nav.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 (window.addEventListener)
     window.addEventListener("load", initMenu, false);
else if (window.attachEvent && !window.opera)
     window.attachEvent("onload", initMenu);