<!--
  Normal1 = new Image(); 
  Normal1.src = "images/auswahlbutton.gif"; /* Hier erste Standard-Grafik angeben */
  Highlight1 = new Image(); 
  Highlight1.src = "images/auswahlbutton.gif"; /* Hier erste Highlight-Grafik angeben */
  
  Normal2 = new Image(); 
  Normal2.src = "images/linux.gif"; /* Hier zweite Standard-Grafik angeben */
  Highlight2 = new Image(); 
  Highlight2.src = "images/linux_aktiv.gif"; /* Hier zweite Highlight-Grafik angeben */

  Normal3 = new Image(); 
  Normal3.src = "images/schulung.gif"; /* Hier dritte Standard-Grafik angeben */
  Highlight3 = new Image(); 
  Highlight3.src = "images/schulung_aktiv.gif"; /* Hier dritte Highlight-Grafik angeben */

  Normal4 = new Image(); 
  Normal4.src = "images/datenbanken.gif"; /* Hier vierte Standard-Grafik angeben */
  Highlight4 = new Image(); 
  Highlight4.src = "images/datenbanken_aktiv.gif"; /* Hier vierte Highlight-Grafik angeben */

  Normal5 = new Image(); 
  Normal5.src = "images/internet_und_intranet.gif"; /* Hier fuenfte Standard-Grafik angeben */
  Highlight5 = new Image(); 
  Highlight5.src = "images/internet_und_intranet_aktiv.gif"; /* Hier fuenfte Highlight-Grafik angeben */

  Normal6 = new Image(); 
  Normal6.src = "images/dokumentation.gif"; /* Hier sechste Standard-Grafik angeben */
  Highlight6 = new Image(); 
  Highlight6.src = "images/dokumentation_aktiv.gif"; /* Hier sechste Highlight-Grafik angeben */

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


//-->