rem: var opt = element.options[i]; 
add: var opt = Element.extend(element.options[i]); 
context:   selectMany: function(element) {    var value = [];    for (var i = 0; i < element.length; i++) {      var opt = element.options[i];      if (opt.selected)        value.push(opt.value || opt.text);    }    return [element.name, value];  }
meta: 4707	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4707/50c3492c4c3c825dbd3401e134a19ed46799c456/prototype.js/clean/www/resources/prototype/prototype.js