// JavaScript Document
Normal1 = new Image();
Normal1.src = "img/navhome.gif";     /* erste Standard-Grafik */
Highlight1 = new Image();
Highlight1.src = "img/navhomeactive.gif"; /* erste Highlight-Grafik */

Normal2 = new Image();
Normal2.src = "img/navrecycl.gif";     /* erste Standard-Grafik */
Highlight2 = new Image();
Highlight2.src = "img/navrecyclactive.gif"; /* erste Highlight-Grafik */

Normal3 = new Image();
Normal3.src = "img/navengine.gif";     /* erste Standard-Grafik */
Highlight3 = new Image();
Highlight3.src = "img/navengineactive.gif"; /* erste Highlight-Grafik */

Normal4 = new Image();
Normal4.src = "img/navkontakt.gif";     /* erste Standard-Grafik */
Highlight4 = new Image();
Highlight4.src = "img/navkontaktactive.gif"; /* erste Highlight-Grafik */

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