Normal02 = new Image();
Normal02.src = "../Bilder/nav_inaktiv_02.gif";     
Highlight02 = new Image();
Highlight02.src = "../Bilder/nav_aktiv_02.gif"; 

Normal03 = new Image();
Normal03.src = "../Bilder/nav_inaktiv_03.gif";     
Highlight03 = new Image();
Highlight03.src = "../Bilder/nav_aktiv_03.gif";

Normal04 = new Image();
Normal04.src = "../Bilder/nav_inaktiv_04.gif";     
Highlight04 = new Image();
Highlight04.src = "../Bilder/nav_aktiv_04.gif";

Normal05 = new Image();
Normal05.src = "../Bilder/nav_inaktiv_05.gif";     
Highlight05 = new Image();
Highlight05.src = "../Bilder/nav_aktiv_05.gif";

Normal06 = new Image();
Normal06.src = "../Bilder/nav_inaktiv_06.gif";     
Highlight06 = new Image();
Highlight06.src = "../Bilder/nav_aktiv_06.gif";

Normal07 = new Image();
Normal07.src = "../Bilder/nav_inaktiv_07.gif";     
Highlight07 = new Image();
Highlight07.src = "../Bilder/nav_aktiv_07.gif";

Normal08 = new Image();
Normal08.src = "../Bilder/nav_inaktiv_08.gif";     
Highlight08 = new Image();
Highlight08.src = "../Bilder/nav_aktiv_08.gif";

Normal09 = new Image();
Normal09.src = "../Bilder/nav_inaktiv_09.gif";     
Highlight09 = new Image();
Highlight09.src = "../Bilder/nav_aktiv_09.gif"; 

Normal10 = new Image();
Normal10.src = "../Bilder/nav_inaktiv_10.gif";     
Highlight10 = new Image();
Highlight10.src = "../Bilder/nav_aktiv_10.gif"; 


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