Normal1 = new Image(); 
Normal1.src = "grafik/button-home.jpg"; 
Highlight1 = new Image(); 
Highlight1.src = "grafik/button-home_on.jpg"; 

Normal2 = new Image(); 
Normal2.src = "grafik/button-produkt.jpg"; 
Highlight2 = new Image(); 
Highlight2.src = "grafik/button-produkt_on.jpg"; 

Normal3 = new Image(); 
Normal3.src = "grafik/button-shop.jpg"; 
Highlight3 = new Image(); 
Highlight3.src = "grafik/button-shop_on.jpg"; 

Normal4 = new Image(); 
Normal4.src = "grafik/button-kontakt.jpg"; 
Highlight4 = new Image(); 
Highlight4.src = "grafik/button-kontakt_on.jpg"; 

/* usw. fuer alle weiteren zu benutzenden Grafiken */

function Bildwechsel(Bildnr,Bildobjekt)
{
        window.document.images[Bildnr].src = Bildobjekt.src;
}