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

Normal2 = new Image();
Normal2.src = "button/Waxenstein_k.gif"; /* zweite Standard-Grafik */
Highlight2 = new Image();
Highlight2.src = "button/Waxenstein_g.gif"; /* zweite Highlight-Grafik usw.*/

Normal3 = new Image();
Normal3.src = "button/Alpspitze_k.gif";
Highlight3 = new Image();
Highlight3.src = "button/Alpspitze_g.gif";

Normal4 = new Image();
Normal4.src = "button/Kreuzeck_k.gif";
Highlight4 = new Image();
Highlight4.src = "button/Kreuzeck_g.gif";

Normal5 = new Image();
Normal5.src = "button/Wank_k.gif";
Highlight5 = new Image();
Highlight5.src = "button/Wank_g.gif";

Normal6 = new Image();
Normal6.src = "button/Zugspitze_k.gif";
Highlight6 = new Image();
Highlight6.src = "button/Zugspitze_g.gif";

Normal7 = new Image();
Normal7.src = "button/Kramer_k.gif";
Highlight7 = new Image();
Highlight7.src = "button/Kramer_g.gif";

Normal8 = new Image();
Normal8.src = "button/Angebote_k.gif";
Highlight8 = new Image();
Highlight8.src = "button/Angebote_g.gif";

Normal9 = new Image();
Normal9.src = "button/Informationen_k.gif";
Highlight9 = new Image();
Highlight9.src = "button/Informationen_g.gif";

Normal10 = new Image();
Normal10.src = "button/sofindensieuns_k.gif";
Highlight10 = new Image();
Highlight10.src = "button/sofindensieuns_g.gif";


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

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