jsHover = function() {
	var menu_items = document.getElementById("menu").getElementsByTagName("LI");
	for ( var i = 0; i < menu_items.length; i++ ) {
		menu_items[i].onmouseover = function() {
			this.className += " jshover";
		}
		menu_items[i].onmouseout = function() {
			this.className = this.className.replace( new RegExp(" jshover\\b"), "" );
		}
	}
	
}
if ( window.attachEvent ) {
    window.attachEvent( "onload", jsHover );
}
