function bild_over(ziel, bild)
{
  var targetPic = document.getElementById(ziel)
  targetPic.style.backgroundImage = 'url('+ bild +')';
}