//image swapping function:
function hiLite(imgDocID, imgObjName, comment)
{
  document.images[imgDocID].src = eval(imgObjName + ".src");
  window.status = comment; return true;
}