var value = []; for (var i = 0, length = element.length; i < length; i++) { var opt = Element.extend(element.options[i]); if (opt.selected)  value.push(opt.hasAttribute('value') ? opt.value : opt.text); 
var values, length = element.length; if (!length) return null;  for (var i = 0, values = []; i < length; i++) { var opt = element.options[i]; if (opt.selected) values.push(this.optionValue(opt)); 
  selectMany: function(element) {    var value = [];    for (var i = 0, length = element.length; i < length; i++) {      var opt = Element.extend(element.options[i]);      if (opt.selected)        // Uses the new potential extension if hasAttribute isn't native.        value.push(opt.hasAttribute('value') ? opt.value : opt.text);    }    return [element.name, value];  }
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/37a06e5ed1bdb861348bb0cfd02f71470a0dfdfb/prototype.js/clean/lib/prototype.js