Normal1 = new Image();
Normal1.src = "button/grau-button.gif";     /* erste Standard-Grafik */
Highlight1 = new Image();
Highlight1.src = "button/grau-button-beschriftet.gif"; /* erste Highlight-Grafik */

Normal2 = new Image();
Normal2.src = "button/orange-button.gif";     /* erste Standard-Grafik */
Highlight2 = new Image();
Highlight2.src = "button/orange-button-beschriftet.gif"; /* erste Highlight-Grafik */

Normal3 = new Image();
Normal3.src = "button/gold-button.gif";     /* zweite Standard-Grafik */
Highlight3 = new Image();
Highlight3.src = "button/gold-button-beschriftet.gif"; /* zweite Highlight-Grafik */

Normal4 = new Image();
Normal4.src = "button/green-button.gif";     /* zweite Standard-Grafik */
Highlight4 = new Image();
Highlight4.src = "button/green-button-beschriftet.gif"; /* zweite Highlight-Grafik */

Normal5 = new Image();
Normal5.src = "../win7.jpg";     /* dritte Standard-Grafik */
Highlight5 = new Image();
Highlight5.src = "../win9.jpg"; /* dritte Highlight-Grafik */

Normal6 = new Image();
Normal6.src = "grafiken/kontakt.gif";     /* dritte Standard-Grafik */
Highlight6 = new Image();
Highlight6.src = "grafiken/kontakt_2.gif"; /* dritte Highlight-Grafik */

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