var sfdoLoad= document.all && document.getElementById; // IE only, and byId required below
sfHover = function() {
	if (sfdoLoad) { // unless done
		var sfEls = document.getElementById('nav').getElementsByTagName('LI');
		if (sfEls && (sfEls.length > 0)) { // DOM is ready
			sfdoLoad= false; // mark done
			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"), "");
				}
			}
		}
	}
}
// fall back to body onLoad, which waits for all images to load
if (document.all) { // Load sfHover only in IE; other browsers don't need it
if (window.attachEvent) window.attachEvent("onload", sfHover);
else window.onload = sfHover; // Mac IE5 needs this
}