rem: var dtf = client.dtFormatter; return dtf.FormatDateTime("", dtf.dateFormatLong, dtf.timeFormatSeconds, this.getFullYear(), this.getMonth() + 1, this.getDate(), this.getHours(), this.getMinutes(), this.getSeconds() ); } 
add: var dtf = client.dtFormatter; return dtf.FormatDateTime("", dtf.dateFormatLong, dtf.timeFormatSeconds, this.getFullYear(), this.getMonth() + 1, this.getDate(), this.getHours(), this.getMinutes(), this.getSeconds() ); } 
context:     Date.prototype.toString = function() {        var dtf = client.dtFormatter;        return dtf.FormatDateTime("", dtf.dateFormatLong,                                   dtf.timeFormatSeconds,                                   this.getFullYear(), this.getMonth() + 1,                                   this.getDate(), this.getHours(),                                   this.getMinutes(), this.getSeconds()                                 );    }
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/93cb913fccf4589413ab30a8b78021af11c7dffa/static.js/buggy/xul/content/static.js