if (element.checked) return [element.name, element.value]; 
return element.checked ? element.value : null; 
  inputSelector: function(element) {    if (element.checked)      return [element.name, element.value];  },
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/37a06e5ed1bdb861348bb0cfd02f71470a0dfdfb/prototype.js/clean/lib/prototype.js