function enlarge(pic) {
  fullpic = "photos/pg_" + pic + ".jpg";
  document.getElementById("changer").src = fullpic;
}