function browserweiche() {
	  var browser = navigator.userAgent.toLowerCase();
	  var ganzzahl = parseInt(navigator.appVersion);
	  var genauezahl = parseFloat(navigator.appVersion);
	  //ist es internet explorer
	  var explorer = ((browser.indexOf("msie") != -1) && (browser.indexOf("opera") == -1));
	  var explorer3 = (explorer && (ganzzahl < 4));
	  var explorer4 = (explorer && (ganzzahl == 4) && (browser.indexOf("msie 5")==-1));
	  var explorer4up = (explorer && (ganzzahl >= 4));
	  var explorer5 = (explorer && (ganzzahl == 4) && (browser.indexOf("msie 5.0")!=-1));
	  var explorer5_5 = (explorer && (ganzzahl == 4) && (browser.indexOf("msie 5.5") !=-1));
	  var explorer5up = (explorer && !explorer3 && !explorer4);
	  var explorer5_5up =(explorer && !explorer3 && !explorer4 && !explorer5);
	  var explorer6 = (explorer && (ganzzahl == 4) && (browser.indexOf("msie 6.0") !=-1));
	  //variablen sind 1, wenn bedingung zutrifft, sonnst 0
	  
      if (explorer) {
        if (explorer6) {
          IEHeightFix();
          //alert("IE6");
        } else {
          if (explorer5_5 || explorer5 || explorer5_5up) {
            IEHeightFix();
            //alert("IE55");
          } 
        }
      }
}

function IEHeightFix() {
	var hoehe=(document.all.bodyy.offsetHeight-200);
	document.getElementById("content").style.height=hoehe+"px";
}