var buttonclick = null;
   agent = navigator.userAgent
   browserVer = 2
   if (agent.indexOf("a/3",6) == -1) {browserVer = 2}
   else {browserVer = 1}
   // preload universal images:

   a1 = new Image(113,23);
   a1.src = "bilder/bt1.jpg";
   a2= new Image(113,23);
   a2.src = "bilder/bt11.jpg";

   b1 = new Image(113,23);
   b1.src = "bilder/bt2.jpg";
   b2= new Image(113,23);
   b2.src = "bilder/bt22.jpg";
   
   c1 = new Image(113,23);
   c1.src = "bilder/bt3.jpg";
   c2= new Image(113,23);
   c2.src = "bilder/bt33.jpg";

   d1 = new Image(113,23);
   d1.src = "bilder/bt4.jpg";
   d2= new Image(113,23);
   d2.src = "bilder/bt44.jpg";

   e1 = new Image(113,23);
   e1.src = "bilder/bt5.jpg";
   e2= new Image(113,23);
   e2.src = "bilder/bt55.jpg";

   f1 = new Image(113,23);
   f1.src = "bilder/bt6.jpg";
   f2= new Image(113,23);
   f2.src = "bilder/bt66.jpg";

   g1 = new Image(113,23);
   g1.src = "bilder/bt7.jpg";
   g2= new Image(113,23);
   g2.src = "bilder/bt77.jpg";

   h1 = new Image(113,23);
   h1.src = "bilder/bt8.jpg";
   h2= new Image(113,23);
   h2.src = "bilder/bt88.jpg";


 

  
   function hiLite(imgDocID,imgObjName)
    {    
 // manages mouseOver animations
 // imgDocID - the name or number of the document image to be replaced
  // imgObjName - the name of the image object to be swapped in
     if (buttonclick != null && buttonclick == imgDocID) {return};
     document.images[imgDocID].src = eval(imgObjName + ".src")
    }
   function whenClick(imgDocID)
    {
     document.images[imgDocID].src = eval(imgDocID + "2.src");
     if (buttonclick != null)
      {
       document.images[buttonclick].src = eval(buttonclick + "1.src"); 
     }
     buttonclick = imgDocID; 
   }