button1 = new Image();
  button1.src="4.jpg";
   
  function bildwechsel(bildnummer,bildsource)
  {
    
   document.images[bildnummer].src="./"+bildsource;
  }
  
  function bildwechsel_name(nam,bild)
  {
   document.images[nam].src=bild;
  }