function set_css(tb_div, idx, cls)
{
  var t = document.getElementById(tb_div);
  if (t == null) return;
  var d = t.getElementsByTagName("TD");
  if (d == null) return;
  if (d.length <= idx) return;
  d[idx].className = cls;
}