function ht(id) {
  tds = document.getElementsByTagName("td");
  for (i = 0; i < tds.length; i++) {
      if (tds[i].className == ("p"+id))
          tds[i].style.backgroundColor = "#dee7ec";
  }
  document.getElementById("pname").innerHTML =
    "Highlighted ticket(s) bought by: <b>" + players[id] + "</b>";
    
}
function uht(id) {
  tds = document.getElementsByTagName("td");
  for (i = 0; i < tds.length; i++) {
      tds[i].style.backgroundColor = "#ffffff";
  }
  document.getElementById("pname").innerHTML =
    "<i>Tip: Put the mouse over a ticket to see who bought it.</i>";
}