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

Normal1 = new Image(); 
Normal1.src = "grafik/v1n.gif"; 
Highlight1 = new Image(); 
Highlight1.src = "grafik/v1b.gif"; 

Normal2 = new Image(); 
Normal2.src = "grafik/v2n.gif"; 
Highlight2 = new Image(); 
Highlight2.src = "grafik/v2b.gif"; 

Normal3 = new Image(); 
Normal3.src = "grafik/v3n.gif"; 
Highlight3 = new Image(); 
Highlight3.src = "grafik/v3b.gif"; 

Normal4 = new Image(); 
Normal4.src = "grafik/v4n.gif"; 
Highlight4 = new Image(); 
Highlight4.src = "grafik/v4b.gif";