$P.getMonthName = function (abbreviated) { return $D.getMonthName(this.getMonth(), (abbreviated || false)); 
$D.getMonthName = function (month) { return $C.monthNames[month]; 
    $P.getMonthName = function (abbreviated) {        return $D.getMonthName(this.getMonth(), (abbreviated || false));    };
2975	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2975/03ae1ab662e66736518b465f8d80c143053a8fa5/core-debug.js/buggy/src/core-debug.js