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"; 

Normal5 = new Image(); 
Normal5.src = "grafik/v5n.gif"; 
Highlight5 = new Image(); 
Highlight5.src = "grafik/v5b.gif"; 

Normal6 = new Image(); 
Normal6.src = "grafik/v6n.gif"; 
Highlight6 = new Image(); 
Highlight6.src = "grafik/v6b.gif"; 

Normal7 = new Image(); 
Normal7.src = "grafik/v7n.gif"; 
Highlight7 = new Image(); 
Highlight7.src = "grafik/v7b.gif"; 

Normal8 = new Image(); 
Normal8.src = "grafik/v8n.gif"; 
Highlight8 = new Image(); 
Highlight8.src = "grafik/v8b.gif"; 

Normal9 = new Image(); 
Normal9.src = "grafik/v9n.gif"; 
Highlight9 = new Image(); 
Highlight9.src = "grafik/v9b.gif";