evalJSON: function() { 
evalJSON: function(sanitize) { var json = this.unfilterJSON(); 
  evalJSON: function() {    try {      var json = this.getHeader('X-JSON');      return json ? json.evalJSON() : null;    } catch (e) { return null }  },
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/0c67d2a1c175fa312f232b827bd1c26b95eac0e1/prototype.js/clean/wp-includes/js/prototype.js