return $D.getTimezoneAbbreviation(this.getUTCOffset); 
return $D.getTimezoneAbbreviation(this.getUTCOffset()); 
    $P.getTimezone = function () {        return $D.getTimezoneAbbreviation(this.getUTCOffset);    };
2975	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2975/411bbc1eaa895af3162faee6f25f705c2093d492/core-debug.js/clean/src/core-debug.js