initNav = function() {
    var navRoot = document.getElementById("nav");
    if (navRoot == null) return;
    var lis = navRoot.getElementsByTagName("li");
    for (var i = 0; i < lis.length; i++) {
        lis[i].onmouseover = function() {
            this.className += " hover";
        }
        lis[i].onmouseout = function() {
            this.className = this.className.replace(" hover", "");
        }
    }
}
if (document.all && window.attachEvent)
	attachEvent("onload", initNav);