rem: var n = s.replace(/[^\d\+\-]/g,""); 
add: var n = s.replace(/[^\d\+\-]/g, ""); 
context:             return function () {                var n = s.replace(/[^\d\+\-]/g,"");                if (n.length) {                     this.timezoneOffset = Number(n);                 } else {                     this.timezone = s.toLowerCase();                 }            }
meta: 1273	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1273/47401e9706fb1f3ab17e4446d15c67ed8e6d530a/parser-debug.js/buggy/src/parser-debug.js