Date.prototype.getMonthName = function (abbrev) { return abbrev ? Date.CultureInfo.abbreviatedMonthNames[this.getMonth()] : Date.CultureInfo.monthNames[this.getMonth()]; }; 
Date.prototype.getMonthName = function (abbreviated) { return Date.getMonthName(this.getMonth(), (abbreviated || false))}; 
Date.prototype.getMonthName = function (abbrev) {    return abbrev ? Date.CultureInfo.abbreviatedMonthNames[this.getMonth()] :         Date.CultureInfo.monthNames[this.getMonth()];};
4137	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4137/0bbf7b14703f5a91c97830542dfc6e5c941d1dc1/core-debug.js/buggy/core-debug.js