// JavaScript Document
    function ChangeColor(tableRow, highLight, BG_color, Border)
    {
    if (highLight)
    {
      tableRow.style.backgroundColor = BG_color;
	  tableRow.style.border = Border;
	  tableRow.style.cursor = 'pointer';
    }
    else
    {
      tableRow.style.backgroundColor = BG_color;
	  tableRow.style.cursor = 'pointer';
    }
  }

  function DoNav(theUrl,target){
  if(target){
  return !window.open(target);
  }else{
  document.location.href = theUrl;
    }
	}