Normal1 = new Image();
Normal1.src = "img/n_profil.gif";
Highlight1 = new Image();
Highlight1.src = "img/n_profil_on.gif";

Normal2 = new Image();
Normal2.src = "img/n_dienstleistungen.gif";
Highlight2 = new Image();
Highlight2.src = "img/n_dienstleistungen_on.gif";

Normal3 = new Image();
Normal3.src = "img/n_referenzen.gif";
Highlight3 = new Image();
Highlight3.src = "img/n_referenzen_on.gif";

Normal4 = new Image();
Normal4.src = "img/n_kontakt.gif";
Highlight4 = new Image();
Highlight4.src = "img/n_kontakt_on.gif";

Normal5 = new Image();
Normal5.src = "img/n_impressum.gif";    
Highlight5 = new Image();
Highlight5.src = "img/n_impressum_on.gif"; 

/* usw. fuer alle weiteren zu benutzenden Grafiken */

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