function setChecked(element_id)
{
	var element = document.getElementById(element_id);
	element.checked = 'true';
}