var value = '', opt, index = element.selectedIndex; if (index >= 0) { opt = Element.extend(element.options[index]);  value = opt.hasAttribute('value') ? opt.value : opt.text; } return [element.name, value]; 
var index = element.selectedIndex; return index >= 0 ? this.optionValue(element.options[index]) : null; 
  selectOne: function(element) {    var value = '', opt, index = element.selectedIndex;    if (index >= 0) {      opt = Element.extend(element.options[index]);      // Uses the new potential extension if hasAttribute isn't native.      value = 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