sfHover = function() {
	if (document.getElementById("langSel")) {
		var sfEl = document.getElementById("langSel");
		sfEl.onmouseover=function() {
			if (this.className == "") {
				this.className = "sfhover";
			}
			else {
				this.className += " sfhover";
			}
		}
		sfEl.onmouseout=function() {
			if (this.className == "sfhover") {
				this.className = "";
			}
			else {
				this.className = this.className.replace(new RegExp(" sfhover\\b"), "");
			}
		}
	}
}
if (window.attachEvent) window.attachEvent("onload", sfHover);