 
<!-- 
  // Browser Feststellung (kurzverfahren)
  var ok_browser = 1; 
  bName = navigator.appName;             
  bVer = parseInt(navigator.appVersion); 
  ver = "n2"  
  if      (bName == "Netscape" && bVer >= 3) ver = "n3"; 
  else if (bName == "Netscape" && bVer == 2) ver = "n2"; 
  else if (bName == "Microsoft Internet Explorer" && bVer >= 4) ver = "e4"; 
 
  if (ver == "n3" || ver == "e4")  
    ok_browser = 0; 
  else 
    ok_browser = 1; 
 
  if ( ok_browser == 0 )
   {
        image1on = new Image(); 
        image1on.src = "img/button_PrecSaws_on.gif";
        image1off = new Image(); 
        image1off.src = "img/button_PrecSaws_off.gif"; 
        image2on = new Image(); 
        image2on.src = "img/button_MatRecycling_on.gif"; 
        image2off = new Image(); 
        image2off.src = "img/button_MatRecycling_off.gif"; 
        image3on = new Image(); 
        image3on.src = "img/button_Lubrication_on.gif"; 
        image3off = new Image(); 
        image3off.src = "img/button_Lubrication_off.gif"; 
        image1prod = new Image(); 
        image1prod.src = "img/prod_PrecSaws_on.jpg";
        image2prod = new Image(); 
        image2prod.src = "img/prod_MatRecycling_on.jpg";
        image3prod = new Image(); 
        image3prod.src = "img/prod_Lubrication_on.jpg";
        image1Offprod = new Image(); 
        image1Offprod.src = "img/prod_empty_off.jpg";
        image2Offprod = new Image(); 
        image2Offprod.src = "img/prod_empty_off.jpg";
        image3Offprod = new Image(); 
        image3Offprod.src = "img/prod_empty_off.jpg";
    }
    
    function imageon(myname) 
    { 
        if ( ok_browser == 0 ) 
        { 
          imgOn = eval(myname + "on.src");
          document [myname].src = imgOn;
          imgOnProd = eval(myname + "prod.src");
          document.prod.src = imgOnProd;
        } 
    }
     
    function imageoff(myname) 
    { 
        if ( ok_browser == 0 ) 
        { 
          imgOff = eval(myname + "off.src");
          document [myname].src = imgOff;
       //   document.prod.scr = "./img/prod_empty_off.gif";
          imgOffProd = eval(myname + "Offprod.src");
          document.prod.src = imgOffProd;
        } 
    }