function check_all() {
	var elem = document.getElementsByTagName('INPUT');
	for (i=0; i<elem.length; i++) {
		elem[i].checked = true;
	}
}