return [element.name, element.value]; 
return element.value; 
  textarea: function(element) {    return [element.name, element.value];  },
708	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/708/53dfa93e53bccf5af1729cbdce88cb70e1ffcca5/prototype.js/buggy/public/javascripts/prototype.js