function changebild(bild)
  {
 // alert(document.getElementById("bild_gross").src);
  
  document.getElementById("bild_gross").src = bild;
  }