<!--
Browsertyp=parseInt(navigator.appVersion);
Browser=false;
ie3=false;
ie4=false;
ns4=false;
if (navigator.appName== "Netscape")
{if (Browsertyp>=4)
 {Browser=true;
  ns4=true;
}}
else
{if (Browsertyp>=4)
 {ie4=true;
  Browser=true;
 }
 else
 {if (Browsertyp==3)
  {ie3=true;
}}}
Bild=new Array();
Source=new Array();
Bildnummer=0;
Quelle=0;
Blau=new Image();
Blau.src="../image/blau_klein_64.gif";
Gelb=new Image();
Gelb.src="../image/gelb_klein_64.gif";
Gruen=new Image();
Gruen.src="../image/gruen_klein_64.gif";

function bildpreload(n)
{if (Browser)
 {
  Source[Bildnummer]="n";
  Bild[Bildnummer]=n;
  Bildnummer ++;
}}
function on(aktuell)
{if (Browser)
 {for (var i = 0; i <= Bildnummer; i++)
  if (Bild[i]==aktuell)
   {
   Source[i] = document.images[Bild[i]].src;
   document.images[Bild[i]].src = Gelb.src;
    Quelle=i;
    i=Bildnummer;
}}}
function off()
 {if (Browser)
  {document.images[Bild[Quelle]].src = Source[Quelle];
}}
//-->