Date.getTimezoneOffset = function (s, dst) { return (dst || false) ? Date.CultureInfo.abbreviatedTimeZoneDST[s.toUpperCase()] : Date.CultureInfo.abbreviatedTimeZoneStandard[s.toUpperCase()]; 
Date.getTimezoneOffset = function (s) { return Date.CultureInfo.timezones[s.toUpperCase()]; 
Date.getTimezoneOffset = function (s, dst) {    return (dst || false) ? Date.CultureInfo.abbreviatedTimeZoneDST[s.toUpperCase()] :        Date.CultureInfo.abbreviatedTimeZoneStandard[s.toUpperCase()];};
4137	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4137/a523a50f53e184005249ace116aee668ca2dd78b/core-debug.js/clean/core-debug.js