function roll(obj, highlightcolor, textcolor){
                obj.style.backgroundColor = highlightcolor;
                obj.style.color = textcolor;
            }
  function DoNav(theUrl)
  {
  document.location.href = theUrl;
  }