function DoNav(theUrl)
  {
  document.location.href = theUrl;
  }
  
  function ChangeCellColor(obj, bgColor)
    { obj.style.backgroundColor = bgColor; }