// JavaScript Document
function checkbox_toggle(id) {
	checkbox = document.getElementById(id);
	checkbox.checked=!checkbox.checked;
}