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()];};
2975	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2975/d2f05de9dd5e39aaaa466f2a5f1360e02c4939fc/core-debug.js/clean/src/core-debug.js