if(document.images) {
      Normal1 = new Image();
      Normal1.src = "/themes/pausenraum/images/schriftzug-1.gif";
      Highlight1 = new Image();
      Highlight1.src = "/themes/pausenraum/images/schriftzug-rollover.gif";
}

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