<!--hide script from old browsers
   
// ---------------------------------------------------------
// Array mit nEintr&auml;gen, beginnend bei 0, anlegen
// ---------------------------------------------------------
function MakeArray(n) 
{
        this.length= n;
        for (var i = 0; i< n; i++) {
                this[i] = null;}
                return this
}

// ---------------------------------------------------------
// Bild-Arrays f&uuml;llen
// ---------------------------------------------------------
function ArraysFuellen(n) 
{
               for (var i = 0; i< n; i++) 
			   	{
               Normal[i] = new Image();
               Normal[i].src = 'pics/button'+i+'a.gif';
               Highlight[i] = new Image();
               Highlight[i].src = 'pics/button'+i+'c.gif';
               }
}


browserName = navigator.appName;
browserVer = parseInt(navigator.appVersion.substring(0,1));

if ((browserName == "Netscape" && browserVer >= 3)||(browserName == "Microsoft Internet Explorer" && browserVer >= 4))
	{                
	var Normal = new MakeArray(9);        
	var Highlight = new MakeArray(9);

	ArraysFuellen(9);
	} // end if

// ---------------------------------------------------------
// Bildwechsel
// ---------------------------------------------------------
function Bildwechsel(Bildnr, Bildversion)
{
if ((browserName == "Netscape" && browserVer >= 3)||(browserName == "Microsoft Internet Explorer" && browserVer >= 4))
	{                
			if ( Bildversion == "Highlight")
				{window.document.images[Bildnr].src = Highlight[Bildnr].src};

			if ( Bildversion == "Normal")
				{window.document.images[Bildnr].src = Normal[Bildnr].src};
	}
}


   
//-->