function setCheckboxes(the_form, do_check)
{
//    var elts      = (typeof(document.forms[the_form].elements['selected_db[]']) != 'undefined')
//                  ? document.forms[the_form].elements['selected_db[]']
//                  : (typeof(document.forms[the_form].elements['selected_tbl[]']) != 'undefined')
//          ? document.forms[the_form].elements['selected_tbl[]']
//          : document.forms[the_form].elements['sel_nr[]'];

    var elts = document.forms[the_form].elements['sel_nr[]'];
    var elts_cnt  = (typeof(elts.length) != 'undefined')
                  ? elts.length
                  : 0;

    if (elts_cnt) {
        for (var i = 0; i < elts_cnt; i++) {
            elts[i].checked = do_check;
        } // end for
    } else {
        elts.checked        = do_check;
    } // end if... else

    return true;
}