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