function loadBigPic( URL ) {
  document.getElementById ('bigPicID').src = URL;
}