// JScript-Datei

//function Myload(wert)
// {

//    var isIE = navigator.appName.indexOf("Microsoft") != -1;
//    if (isIE==true)
//        {
//        document.getElementById("navigation").style.height= "20px";
//       }
//       else
//            {
//            document.getElementById("navigation").style.height= wert + "px";
//        }
//  }
  
  
  
  
  
  function Myload(wert) {

    var isIE = navigator.appName.indexOf("Microsoft") != -1;
    if (isIE==true)
        {
            document.getElementById("navigation").style.height="18px";
        }
    }