function toggle_checkboxes(state, selector) {
	checkboxes = $$(selector);
	if(state == "on") { checkboxes.each(function(checkbox) { checkbox.checked = true; }); }
	else { checkboxes.each(function(checkbox) { checkbox.checked = false; }); }
}

function clear_suggestion() {
	if ($('status-text').hasClassName('unfocused')) {
		$('status-text').removeClassName('unfocused');
		$('status-text').innerHTML = "";
	}
}