rem: value.push(opt.value || opt.text); 
add: value.push( Try.these( function() { return opt.attributes['value'].specified }, function() { return 'value' in opt } ) ? opt.value : opt.text ); 
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: 1654	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1654/f89187261df845d6e8e2524c10470c6f7ddee35c/prototype.js/buggy/javascript/prototype/prototype.js