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