var n = (dst || false) ? Date.CultureInfo.abbreviatedTimeZoneDST : Date.CultureInfo.abbreviatedTimeZoneStandard; 
var n = (dst || false) ? Date.CultureInfo.abbreviatedTimeZoneDST : Date.CultureInfo.abbreviatedTimeZoneStandard, p; 
Date.getTimezoneAbbreviation = function (offset, dst) {    var n = (dst || false) ? Date.CultureInfo.abbreviatedTimeZoneDST : Date.CultureInfo.abbreviatedTimeZoneStandard;    for (p in n) {         if (n[p] === offset) {             return p;         }    }    return null;};
2975	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2975/f90e30ddb8a600aa70ab6fd6e5a3b6290311b027/core-debug.js/clean/src/core-debug.js