<!-- //
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;
}
// -->