function checkAsRadio(id, el) {
    Ext.each(Ext.query('input[type=checkbox]', id), function() {
        this.checked = '';
    });
    el.checked = 'checked';
}