function changeImage(ImgNr, ImageObj) {
    window.document.images[ImgNr].src = ImageObj.src;
  }