function initPage()
{
	var navRoot = document.getElementById("navigate");
	navRoot.onmouseover = function()
	{
		this.className += " hover";
        }
	navRoot.onmouseout = function()
	{
		this.className = this.className.replace(new RegExp("hover"),"");
	}
}

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