<!--
tu1=new Image();
tu1.src="../globale_bilder/taste_unten.gif";
to1=new Image();
to1.src="../globale_bilder/taste_oben.gif";

function Bildwechsel(Bildnr,Bildobjekt)
{
  window.document.images[Bildnr].src = Bildobjekt.src;
}

//-->