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()];};
4137	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4137/0bbf7b14703f5a91c97830542dfc6e5c941d1dc1/core-debug.js/buggy/core-debug.js