var lastColorUsed;
function prettyDG_changeBackColor(row, highlight)
{
  if (highlight)
  {
    lastColorUsed = row.style.backgroundColor;
    row.style.backgroundColor = '#A3A3A3';
  }
  else
    row.style.backgroundColor = lastColorUsed;
}