console.log('isDST'); 
Date.prototype.isDST = function () {    /* TODO: not sure if this is portable ... get from Date.CultureInfo? */    return this.toString().match(/(E|C|M|P)(S|D)T/)[2] == "D";};
2975	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2975/f90e30ddb8a600aa70ab6fd6e5a3b6290311b027/core-debug.js/clean/src/core-debug.js