context: function setSelectOptions(the_form, the_select, do_check){    var selectObject = document.forms[the_form].elements[the_select];    var selectCount  = selectObject.length;       for (var i = 0; i < selectCount; i++) {        selectObject.options[i].selected = do_check;    } // end for    return true;} // end of the 'setSelectOptions()' function
meta: 5450	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5450/c357aa9976b524b045a841806670d877d8a45f45/functions.js/buggy/libraries/functions.js