if(document.all){ // IE
	Event.add(window, 'load', function(){
	var nav = $('navigation');
	Event.add(nav, 'mouseover', function(){El.addClassName(this, 'hover')});
	Event.add(nav, 'mouseout', function(){El.removeClassName(this, 'hover')});
	});
	}