function switchpic(imageID,imageSRC) {
  document.getElementById(imageID).src=imageSRC;
}