return Date.getTimezoneAbbreviation(this.getGMTOffset, this.isDST()); 
return Date.getTimezoneAbbreviation(this.getUTCOffset, this.isDST()); 
Date.prototype.getTimezone = function () {    return Date.getTimezoneAbbreviation(this.getGMTOffset, this.isDST());};
4137	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4137/ace45c49f133252e38546a2b4b3af23d532ad121/core-debug.js/buggy/core-debug.js