// JavaScript zum Highlighen der Buttons in der Menüleiste

   i0s = new Image(130,34);
   i0s.src = "buttons/supervision_hell.gif";
   i0m = new Image(130,34);
   i0m.src = "buttons/supervision_dunkel.gif";
   i1s = new Image(130,34);
   i1s.src = "buttons/zurperson_hell.gif";
   i1m = new Image(130,34);
   i1m.src = "buttons/zurperson_dunkel.gif";
   i2s = new Image(130,34);
   i2s.src = "buttons/kontakt_hell.gif";
   i2m = new Image(130,34);
   i2m.src = "buttons/kontakt_dunkel.gif";
   i3s = new Image(130,34);
   i3s.src = "buttons/aktuell_hell.gif";
   i3m = new Image(130,34);
   i3m.src = "buttons/aktuell_dunkel.gif";
   i4s = new Image(130,34);
   i4s.src = "buttons/angebote_hell.gif";
   i4m = new Image(130,34);
   i4m.src = "buttons/angebote_dunkel.gif";


// Bild austauschen
function Bildwechsel(imgDocID,imgObjName,imgObjName1) 
{
   document.images[imgDocID].src = eval(imgObjName1 + ".src")
}