// retrieve DOM checkbox and make sure it is checked/unchecked
set_checkbox: function(record, checked) {
var hrn=this.record_hrn (record);
// retrieve DOM checkbox and make sure it is checked/unchecked
set_checkbox: function(record, checked) {
var hrn=this.record_hrn (record);