function select(checkboxName, value) {
	var all = document.getElementsByName(checkboxName);
	for(i = 0; i != all.length; ++i) {
		all[i].checked = value;
	}
}