rem: return '"' + s.replace(/([\x00-\x1f\\"])/g, function(a, b) { 
add: Ext.util.JSON = new (function(){ var useHasOwn = {}.hasOwnProperty ? true : false;     var pad = function(n) { return n < 10 ? "0" + n : n; };  var m = { "\b": '\\b', "\t": '\\t', "\n": '\\n', "\f": '\\f', "\r": '\\r', '"' : '\\"', "\\": '\\\\' };  var encodeString = function(s){ if (/["\\\x00-\x1f]/.test(s)) { return '"' + s.replace(/([\x00-\x1f\\"])/g, function(a, b) { 
context:             return '"' + s.replace(/([\x00-\x1f\\"])/g, function(a, b) {                var c = m[b];                if(c){                    return c;                }                c = b.charCodeAt();                return "\\u00" +                    Math.floor(c / 16).toString(16) +                    (c % 16).toString(16);            }) + '"';
meta: 2891	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2891/d109eea1e59fbb030ac98e95f181f72da9611a48/ext-all-debug.js/buggy/gemma-web/src/main/webapp/scripts/ext/ext-all-debug.js