rem: var opt = element.options[i]; if (opt.selected) { var optValue = opt.value; if (!optValue && !('value' in opt)) optValue = opt.text; value.push(optValue); } 
add: var opt = Element.extend(element.options[i]); if (opt.selected)  value.push(opt.hasAttribute('value') ? opt.value : opt.text); 
context:   selectMany: function(element) {    var value = new Array();    for (var i = 0; i < element.length; i++) {      var opt = element.options[i];      if (opt.selected) {        var optValue = opt.value;        if (!optValue && !('value' in opt))          optValue = opt.text;        value.push(optValue);      }    }    return [element.name, value];  }
meta: 2801	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2801/7e143d2df37946a5416f0f043869478087652eb6/prototype.js/clean/examples/testcases/prototype.js