sfHover = function() {
    if (document.all&&document.getElementById) {
        if (document.getElementById("nav")) {
            navRoot = document.getElementById("nav");
            for (i=0; i<navRoot.childNodes.length; i++) {
                node = navRoot.childNodes[i];
                if (node.nodeName=="LI") {
                    node.onmouseover=function() {
                        this.className+=" sfhover";
                    }
                    node.onmouseout=function() {
                        this.className=this.className.replace(" sfhover", "");
                    }
                }
            }
        }
}
} 


if (document.all&&window.attachEvent) window.attachEvent("onload", sfHover);