function changeImage(filename) {
  document.mainimage.src = filename;
}