var oldOnload = window.onload || function () {};
window.onload = function ()
{
	oldOnload();
	var topnavigator = document.getElementById( "topnavigator" );
	var items = topnavigator.getElementsByTagName( "li" );
	for(var i = 0; i < items.length; i++)
	{
		if( items[i].className != "selected" )
		{
			items[i].onmouseover = function(){this.className = "hover";};
			items[i].onmouseout = function(){this.className = "";};
		}
	}
}