// JavaScript Document

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

Normal2 = new Image();
Normal2.src = "pics/mich.gif";     
Highlight2 = new Image();
Highlight2.src = "pics/mich_over.gif";

Normal3 = new Image();
Normal3.src = "pics/leistungen.gif";     
Highlight3 = new Image();
Highlight3.src = "pics/leistungen_over.gif";

Normal4 = new Image();
Normal4.src = "pics/kontakt.gif";     
Highlight4 = new Image();
Highlight4.src = "pics/kontakt_over.gif";

Normal5 = new Image();
Normal5.src = "pics/impressum.gif";     
Highlight5 = new Image();
Highlight5.src = "pics/impressum_over.gif";

Normal6 = new Image();
Normal6.src = "pics/links.gif";     
Highlight6 = new Image();
Highlight6.src = "pics/links_over.gif";

Normal7 = new Image();
Normal7.src = "pics/termine.gif";     
Highlight7 = new Image();
Highlight7.src = "pics/termine_over.gif";

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