function outLinks(){	exlinks = $$('.external');	exlinks.each(function(s) {  	s.setAttribute('target','_blank');	});}Event.observe(window,'load', outLinks)sfHover = function() {	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"), "");		}	}}if (window.attachEvent) window.attachEvent("onload", sfHover);