capitalize: function(){ 
capitalize: function() { 
  capitalize: function(){    return this.charAt(0).toUpperCase() + this.substring(1).toLowerCase();  },
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/d6b4808d8049a47f085af95ebdc565a2742b9f0f/prototype.js/buggy/wp-includes/js/prototype.js