function changeimg(pic) {

  document.getElementById('image1').src = pic;

}