function replace_image(holder_id, img_id) {
  	document.getElementById(holder_id).src = 'images/'+img_id+'.jpg';
  }