Date.prototype.getDayName = function (abbrev) { return abbrev ? Date.CultureInfo.abbreviatedDayNames[this.getDay()] : Date.CultureInfo.dayNames[this.getDay()]; 
Date.prototype.getDayName = function (abbreviated) { return Date.getDayName(this.getDay(), (abbreviated || false)); 
Date.prototype.getDayName = function (abbrev) {    return abbrev ? Date.CultureInfo.abbreviatedDayNames[this.getDay()] :         Date.CultureInfo.dayNames[this.getDay()];};
2975	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2975/d2f05de9dd5e39aaaa466f2a5f1360e02c4939fc/core-debug.js/clean/src/core-debug.js