        timezone: function (s) {            return function () {                var n = s.replace(/[^\d\+\-]/g, "");                if (n.length) {                     this.timezoneOffset = Number(n);                 } else {                     this.timezone = s.toLowerCase();                 }            };        },
4137	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4137/a523a50f53e184005249ace116aee668ca2dd78b/parser-debug.js/clean/parser-debug.js