
function checkbox_checked(x) {
  if (x.checked) {
    all_ref = document.getElementById("all");
    all_ref.checked = false;
  }
}
function acc_checkbox_checked(x) {
  if (x.checked) {
    all_ref = document.getElementById("all");
    all_ref.checked = false;
    all_ref = document.getElementById("all_access");
    all_ref.checked = false;
  }
}
function uncheck_all() {
  for (i = 0; i < document.filterform.length; i++) {
    document.filterform[i].checked = false;
  }
  all_ref = document.getElementById("all");
  all_ref.checked = true;
  return false;
}
