function an_GetIEVersion() {

	// This function returns:

	//   -1   For non-IE browsers

	//   x.x  Style version number for IE browsers.

	// This isn't complete browser detection, it only cares about IE, irrespective of OS.

	var version = -1;

	var agent = navigator.userAgent.toLowerCase();

	var position = agent.indexOf("msie");

	if (position > -1 && !window.opera && navigator.vendor != 'KDE') { // Untested: navigator.vendor might work to not detect Safari

		var versionSegment = agent.substring(position);

		var versionStart = versionSegment.indexOf(' ')+1;

		var versionEnd = versionSegment.indexOf(';');

	    version = versionSegment.substring(versionStart, versionEnd);

		// 'version' now should be in the form of '6.0'

	}

	return version;

}

sfHover = function() {
	var sfEls = document.getElementById("nav").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);

function BlankWin (url) {

     blankWin = window.open(url,'_blank');

  }