Normal1 = new Image();
Normal1.src = "images/home.png";     
Highlight1 = new Image();
Highlight1.src = "images/home-glow.png"; 
Normal2 = new Image();
Normal2.src = "images/about.png";     
Highlight2 = new Image();
Highlight2.src = "images/about-glow.png"; 
Normal3 = new Image();
Normal3.src = "images/mm.png";     
Highlight3 = new Image();
Highlight3.src = "images/mm-glow.png"; 
Normal4 = new Image();
Normal4.src = "images/hardware.png";     
Highlight4 = new Image();
Highlight4.src = "images/hardware-glow.png";
Normal5 = new Image();
Normal5.src = "images/aprilia.png";     
Highlight5 = new Image();
Highlight5.src = "images/aprilia-glow.png";

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

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