function highlight(img) {
    {
      document[img].src = "images/" + img + "a.jpg";
    }
}

// un-highlight image
function unhighlight(img) {
  {
      document[img].src = "images/" + img + ".jpg";
   }
}