<!--
  var rowWithMouse = null;

  function rowRollover(myId, isInRow) {
    // myId is our own integer id, not the DOM id
    // isInRow is 1 for onmouseover, 0 for onmouseout
    var row = document.getElementById('tr_' + myId);
    var box = document.getElementById('box_' + myId);
    rowWithMouse = (isInRow) ? row : null;
    rowUpdateBg(row, box);
  }

  function rowUpdateBg(row, box) {
    if (box && box.checked) {
      row.style.backgroundColor = "#DDE4F2";
    } else {
      row.style.backgroundColor = (row == rowWithMouse) ? '#FFFF80' : '#FFFFFF';
    }
  }

  function rowToggle(myId) {
    var row = document.getElementById('tr_' + myId);
    var box = document.getElementById('box_' + myId);
    var f = box.form;
    if (box.checked == false) {
      rowSelect(row, box);
      // f.toggleAll.checked = isAllSelected(f);
    } else {
      rowUnselect(row, box);
      // f.toggleAll.checked = false;
    }
  }

  function rowSelect(row, box) {
    box.checked = true;
    rowUpdateBg(row, box);
  }

  function rowUnselect(row, box) {
    box.checked = false;
    rowUpdateBg(row, box);
  }

//-->