// JavaScript Document

	sfHover = function() { 
	
		var sfEls = document.getElementsByTagName("SPAN");  
		
		for (var i=0; i<sfEls.length; i++) {  
			if (sfEls[i].className == "glossarlink" || sfEls[i].className == "klapplink") {
				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);