<!--
  Normal1 = new Image();
  Normal1.src = "buttons/zur-waldeshoehe-button0_03.jpg"; 
  Highlight1 = new Image();
  Highlight1.src = "buttons/zur-waldeshoehe-button1_03.jpg"; 
  Normal2 = new Image();
  Normal2.src = "buttons/zur-waldeshoehe-button0_05.jpg"; 
  Highlight2 = new Image();
  Highlight2.src = "buttons/zur-waldeshoehe-button1_05.jpg"; 
  Normal3 = new Image();
  Normal3.src = "buttons/zur-waldeshoehe-button0_07.jpg"; 
  Highlight3 = new Image();
  Highlight3.src = "buttons/zur-waldeshoehe-button1_07.jpg"; 
  Normal4 = new Image();
  Normal4.src = "buttons/zur-waldeshoehe-button0_08.jpg"; 
  Highlight4 = new Image();
  Highlight4.src = "buttons/zur-waldeshoehe-button1_08.jpg"; 
  Normal5 = new Image();
  Normal5.src = "buttons/zur-waldeshoehe-button0_09.jpg"; 
  Highlight5 = new Image();
  Highlight5.src = "buttons/zur-waldeshoehe-button1_09.jpg"; 
  Normal6 = new Image();
  Normal6.src = "buttons/zur-waldeshoehe-button0_10.jpg"; 
  Highlight6 = new Image();
  Highlight6.src = "buttons/zur-waldeshoehe-button1_10.jpg"; 
  Normal7 = new Image();
  Normal7.src = "buttons/zur-waldeshoehe-button0_11.jpg"; 
  Highlight7 = new Image();
  Highlight7.src = "buttons/zur-waldeshoehe-button1_11.jpg"; 
  Normal8 = new Image();
  Normal8.src = "buttons/zur-waldeshoehe-button0_12.jpg"; 
  Highlight8 = new Image();
  Highlight8.src = "buttons/zur-waldeshoehe-button1_12.jpg"; 
  Normal9 = new Image();
  Normal9.src = "buttons/zur-waldeshoehe-button0_13.jpg"; 
  Highlight9 = new Image();
  Highlight9.src = "buttons/zur-waldeshoehe-button1_13.jpg"; 
  Normal10 = new Image();
  Normal10.src = "buttons/zur-waldeshoehe-button0_14.jpg"; 
  Highlight10 = new Image();
  Highlight10.src = "buttons/zur-waldeshoehe-button1_14.jpg"; 
  Normal11 = new Image();
  Normal11.src = "buttons/zur-waldeshoehe-button0_15.jpg"; 
  Highlight11 = new Image();
  Highlight11.src = "buttons/zur-waldeshoehe-button1_15.jpg"; 
  Normal12 = new Image(); 
  Normal12.src = "buttons/zur-waldeshoehe-button0_16.jpg"; 
  Highlight12 = new Image(); 
  Highlight12.src = "buttons/zur-waldeshoehe-button1_16.jpg"; 
  Normal13 = new Image(); 
  Normal13.src = "buttons/zur-waldeshoehe-button0_17.jpg"; 
  Highlight13 = new Image(); 
  Highlight13.src = "buttons/zur-waldeshoehe-button1_17.jpg"; 
  

  /* usw. fuer alle weiteren zu benutzenden Grafiken */
  function Bildwechsel(Bildnr,Bildobjekt)  {
   window.document.images[Bildnr].src = Bildobjekt.src;  } //-->