sfHover = function() {
	var hoverOffEls = new Array(1);
	var sfEls;
	
	for(var k = 1; k < 10; k++) {
		if(document.getElementById("nav_" + k)) {
			sfEls = document.getElementById("nav_" + k).getElementsByTagName("LI");
			
			for (var i=0; i<sfEls.length; i++) {
				sfEls[i].onmouseover=function(e) {
					if(hoverOffEls[0] != null) {						
						isChild = false;
						p = hoverOffEls[0];
						
						//children = this.getElementsByTagName("LI");
						if(p == this) 
							isChild = false;
						//for(c = 0; c < children.length; c++) {
							//if(children[c] == p)
								//isChild = true;
						//}//end of for loop
													
						if(!isChild) {
							hoverOffEls[0].className = hoverOffEls[0].className.replace(new RegExp("\\bsfhover\\b"), "");
						}//end of if statement
					}//end of if statement
					this.className+=" sfhover";
				}
				sfEls[i].onmouseout=function(e) {
					if (!e) var e = window.event;
					toElement = e.toElement || e.relatedTarget;
					
					found_match = false;
					while(toElement.parentNode && toElement.parentNode.tagName && toElement.parentNode.tagName != "body") {
						for(j = 0; j < sfEls.length; j++) {
							if(toElement == sfEls[j]) {
								found_match = true;
								break;
							}//end of if statement
						}//end of if statement
						toElement = toElement.parentNode;
					}//end of while loop
					if(!found_match) {
						this.timer = new Timer(this);
						this.timer.setTimeout("out", 1200);
					}//end of if statement
					else {
						this.className=this.className.replace(new RegExp("\\bsfhover\\b"), "");
					}//end of else statement
				}
				sfEls[i].out=function() {
					this.className=this.className.replace(new RegExp("\\bsfhover\\b"), "");
				}
			}
		}//end of if statement
	}
}
if (window.attachEvent) window.attachEvent("onload", sfHover);
if (window.addEventListener) window.addEventListener( "load", sfHover, false );