return Date.getTimezoneAbbreviation(this.getUTCOffset, this.isDST()); 
return Date.getTimezoneAbbreviation(this.getUTCOffset); 
Date.prototype.getTimezone = function () {    return Date.getTimezoneAbbreviation(this.getUTCOffset, this.isDST());};
2975	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2975/5e4baa7d996cb31f759dda98f3d5950c60188a45/core-debug.js/clean/src/core-debug.js