// JavaScript Document

<!--

Normal1 = new Image();
Normal1.src = "Bilder/nav-01b.jpg";     /* erste Standard-Grafik */
Highlight1 = new Image();
Highlight1.src = "Bilder/nav-01a.jpg"; /* erste Highlight-Grafik */

Normal2 = new Image();
Normal2.src = "Bilder/nav-02b.jpg";     /* zweite Standard-Grafik */
Highlight2 = new Image();
Highlight2.src = "Bilder/nav-02a.jpg"; /* zweite Highlight-Grafik */

Normal3 = new Image();
Normal3.src = "Bilder/nav-03b.jpg";     /* dritte Standard-Grafik */
Highlight3 = new Image();
Highlight3.src = "Bilder/nav-03a.jpg"; /* dritte Highlight-Grafik */

Normal4 = new Image();
Normal4.src = "Bilder/nav-04b.jpg";     /* vierte Standard-Grafik */
Highlight4 = new Image();
Highlight4.src = "Bilder/nav-04a.jpg"; /* vierte Highlight-Grafik */

Normal5 = new Image();
Normal5.src = "Bilder/nav-05b.jpg";     /* fünfte Standard-Grafik */
Highlight5 = new Image();
Highlight5.src = "Bilder/nav-05a.jpg"; /* fünfte Highlight-Grafik */

Normal6 = new Image();
Normal6.src = "Bilder/nav-06a.jpg";     /* sechste Standard-Grafik */
Highlight6 = new Image();
Highlight6.src = "Bilder/nav-06b.jpg"; /* sechste Highlight-Grafik */

Normal7 = new Image();
Normal7.src = "Bilder/kontakt-a.gif";     /* sechste Standard-Grafik */
Highlight7 = new Image();
Highlight7.src = "Bilder/kontakt-b.gif"; /* sechste Highlight-Grafik */




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

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

//-->