function addLoadEvent(func) {
    var oldonload = window.onload;
    if (typeof window.onload != 'function') { window.onload = func; }
    else {
    	window.onload = function() {
			if (oldonload) {
				oldonload();
            	}
			func();
        	}
    	}
	}
	
addLoadEvent(function() {
	if (window.attachEvent) {
		var sfEls = document.getElementById("navigation").getElementsByTagName("li");
		for (var i=0; i<sfEls.length; i++) {
			sfEls[i].onmouseover=function() {
				this.className+=" sfhover";
				}
			sfEls[i].onmouseout=function() {
				this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
				}
			}
		}
	})