Normal1 = new Image(); 
  Normal1.src = "/images/h_mussman_a.gif"; 
  Highlight1 = new Image(); 
  Highlight1.src = "/images/h_mussman_b.gif"; 
  
  
  function Bildwechsel(Bildnr,Bildobjekt)
  {
   window.document.images[Bildnr].src = Bildobjekt.src;
  }