/////////////////////////////////////////////////////////
//
// Show selected picture...
//
function showPic(filename, caption)
  {
  if (document.images)
    {
    // find the picture...
    var elem = document.getElementById("mainpic");
    //replace source and alt text...
    elem.src = filename;
    elem.title = elem.alt = caption;
    // then find the caption...
    elem = document.getElementById("maincaption");
    // replace that too...
    elem.firstChild.nodeValue = caption;
    }
  return true;
  }
//
///// End of File ///////////////////////////////////////