sfHover = function() {
    var names = Array('globalnav','gtools');
    for (var i in names) {
        if (document.getElementById(names[i]) != null) {
            var LIs = document.getElementById(names[i]).getElementsByTagName("LI");
            for (var j in LIs) { 
                LIs[j].onmouseover = function() { this.className += " sfhover"; }
                LIs[j].onmouseout  = function() { this.className = this.className.replace(new RegExp(" sfhover\\b"), ""); }
            }
        } 
    }
}
if (window.attachEvent) window.attachEvent("onload", sfHover);