sfHover = function() {
  	var sfEls = document.getElementById("navi").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 HoeheDerSeite() {
   var wx;
   var test1 = document.body.scrollHeight;
   var test2 = document.body.offsetHeight;
   if(test1 > test2 ) {
    wy = document.body.scrollHeight;
   }
   else {
    wy = document.body.offsetHeight;
   }
   return wy;
  }  

var isShowflag = 0;
document.onmousemove=doShowFlag; 

function showFlag (pfad) {
  isShowflag = 1;
  document.getElementById("diebeweglichekarte").src = pfad;
  document.getElementById("kartencontainer").style.visibility = 'visible';  
}
function dontShowFlag () {
 isShowflag = 0;
 document.getElementById("kartencontainer").style.visibility = 'hidden';   
}

function doShowFlag(e) {

  if(isShowflag) {

	var posx = 0;
	var posy = 0;
	if (!e) var e = window.event;
	if (e.pageX || e.pageY) 	{
		posx = e.pageX;
		posy = e.pageY;
	}
	else if (e.clientX || e.clientY) 	{
		posx = e.clientX + document.body.scrollLeft
			+ document.documentElement.scrollLeft;
		posy = e.clientY + document.body.scrollTop
			+ document.documentElement.scrollTop;
	}

    document.getElementById("kartencontainer").style.left = posx+15;
    document.getElementById("kartencontainer").style.top = posy+15;
   }
	
}