$P.equals = function (date) { return (this.compareTo(date) === 0); 
$P.equals = function (date) { return Date.equals(this, date); 
    $P.equals = function (date) {         return (this.compareTo(date) === 0);     };
2975	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2975/10ba5cd143ba063e809f66f9b6dce69cc917e590/core.js/clean/src/core.js