jsHover = function() {

    var hEls = document.getElementById("nav").getElementsByTagName("LI");

    for (var i = 0, len = hEls.length; i < len; i++) {

        hEls[i].onmouseover = function() {
            this.className += " jshover";
        }

        hEls[i].onmouseout = function() {
            this.className = this.className.replace(" jshover", "");
        }

    }

}

if (window.attachEvent && navigator.userAgent.indexOf("Opera") == -1) window.attachEvent("onload", jsHover

        );