<!-- //function ChangeColor(tableRow, highLight)  {      if (highLight)      {        tableRow.className = 'resultsOn';      }      else      {        tableRow.className = 'resultsOff';      }  }  function DoNav(theUrl)  {    document.location.href = theUrl;  }function changeImg(img_name,img_src) {document[img_name].src=img_src;}function changeClass(id, newClass) {identity=document.getElementById(id);identity.className=newClass;}// -->
