Normal1 = new Image();
Normal1.src = "pics/nav_home_down.gif";    
Highlight1 = new Image();
Highlight1.src = "pics/nav_home_down.gif"; 

Normal2 = new Image();
Normal2.src = "pics/nav_resume_up.gif";    
Highlight2 = new Image();
Highlight2.src = "pics/nav_resume_down.gif"; 

Normal3 = new Image();
Normal3.src = "pics/nav_references_up.gif";     
Highlight3 = new Image();
Highlight3.src = "pics/nav_references_down.gif"; 

Normal4 = new Image();
Normal4.src = "pics/nav_contact_up.gif";     
Highlight4 = new Image();
Highlight4.src = "pics/nav_contact_down.gif"; 


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