document.getElementById("filtergrade_button").onclick = function() {
toggle("filtergrade");
};function toggle(id) {
victim = document.getElementById(id);
victim.hidden = !victim.hidden;
}