function hilite(prefix, n)
{
  obj = document.getElementById(prefix + "_" + n);
  obj.className = "hilite";
}

function restore(prefix, n)
{
  obj = document.getElementById(prefix + "_" + n);
  obj.className = "normal";
}