inputSelector: function(element) { return element.checked ? element.value : null; 
inputSelector: function(element, value) { if (value === undefined) return element.checked ? element.value : null; else element.checked = !!value; 
  inputSelector: function(element) {    return element.checked ? element.value : null;  },
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/0c67d2a1c175fa312f232b827bd1c26b95eac0e1/prototype.js/clean/wp-includes/js/prototype.js