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