function swapImage(theId, theFile)
{
  var el = document.getElementById(theId)
  el.src=theFile;
}