rem: if (opt.selected) { var optValue = opt.value; if (!optValue && !('value' in opt)) optValue = opt.text; value.push(optValue); } 
add: if (opt.selected) value.push(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: 3974	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3974/af9adbf17404d887f31369756326b0109da7ae2b/prototype.js/buggy/root/static/js/prototype.js