//Set of functions for performing generic image manipulation tasks

//takes an element id and image_path as strings, and changes the src
//of the given element to the given image
function change_image(id, image_path){
  document.getElementById(id).src=image_path;
}