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