var hoehe;
var rest;

function Abmessungen()
{
if (self.innerHeight){hoehe = self.innerHeight;} // alle außer IE 
else if (document.documentElement && document.documentElement.clientHeight) // IE 6 strict Mode  
	{hoehe = document.documentElement.clientHeight;}
else if (document.body){hoehe = document.body.clientHeight;} // andere IE 
rest = (hoehe - abzug); // festgelegter Abzug subtrahieren)     
}

function highlightLinks(obj) {
   var linkList = document.getElementById("menu").getElementsByTagName("a");
   for (i = 0; i < linkList.length; i++) {
      linkList[i].className = "";
   }
   obj.className = "current";
}