function swap_image(image) {
  var main_image = document.getElementById('main_image');
  main_image.src = "/images/full/"+image;
}