function check_radio(obj) {

	obj = document.getElementById(obj);
	obj.checked = true;

} // end function check_radio