var index = element.selectedIndex; return index >= 0 ? this.optionValue(element.options[index]) : null; 
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]; 
  selectOne: function(element) {    var index = element.selectedIndex;    return index >= 0 ? this.optionValue(element.options[index]) : null;  },
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/99db091466168b09f46c79ff71f0e07c7fd4a8db/prototype.js/clean/lib/prototype.js