function toggleSearchCheckbox(checkbox) {
var ch = checkbox.checked;
document.getElementById('s1').checked=ch;
document.getElementById('s4').checked=ch;
document.getElementById('s5').checked=ch;
}
function dropSearchEverywhereCheckbox() {
document.getElementById('s0').checked = false;
}