Normal1 = new Image();
Normal1.src = "grafiken/back.gif";  
Highlight1 = new Image();
Highlight1.src = "grafiken/back-over.gif";

Normal2 = new Image();
Normal2.src = "grafiken/home.gif";  
Highlight2 = new Image();
Highlight2.src = "grafiken/home-over.gif";

Normal3 = new Image();
Normal3.src = "grafiken/forward.gif";  
Highlight3 = new Image();
Highlight3.src = "grafiken/forward-over.gif";

Normal4 = new Image();
Normal4.src = "grafiken/contact.gif";  
Highlight4 = new Image();
Highlight4.src = "grafiken/contact-over.gif";

Normal5 = new Image();
Normal5.src = "grafiken/world.gif";  
Highlight5 = new Image();
Highlight5.src = "grafiken/world-over.gif";

Normal6 = new Image();
Normal6.src = "grafiken/gigs.gif";  
Highlight6 = new Image();
Highlight6.src = "grafiken/gigs-over.gif";

Normal7 = new Image();
Normal7.src = "grafiken/songs.gif";  
Highlight7 = new Image();
Highlight7.src = "grafiken/songs-over.gif";

Normal8 = new Image();
Normal8.src = "grafiken/history.gif";  
Highlight8 = new Image();
Highlight8.src = "grafiken/history-over.gif";

Normal9 = new Image();
Normal9.src = "grafiken/ref.gif";  
Highlight9 = new Image();
Highlight9.src = "grafiken/ref-over.gif";


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