Normal0 = new Image(); 
Normal0.src = "bilder/home1.gif"; 
Highlight0 = new Image(); 
Highlight0.src = "bilder/home2.gif";   


Normal1 = new Image(); 
Normal1.src = "bilder/cover1a.gif."; 
Highlight1 = new Image(); 
Highlight1.src = "bilder/cover1b.gif"; 


Normal2 = new Image(); 
Normal2.src = "bilder/shooting1a.gif"; 
Highlight2 = new Image(); 
Highlight2.src = "bilder/shooting1b.gif";  

/* usw. fuer alle weiteren zu benutzenden Grafiken */
 function Bildwechsel (Bildnr,Bildobjekt) 
{ 
window.document.images [Bildnr] . src = Bildobjekt.src;
 }