rem: return dtf.FormatDateTime("", dtf.dateFormatLong, dtf.timeFormatSeconds, this.getFullYear(), this.getMonth() + 1, this.getDate(), this.getHours(), 
add: return dtf.FormatDateTime("", dtf.dateFormatLong, dtf.timeFormatSeconds, this.getFullYear(), this.getMonth() + 1, this.getDate(), this.getHours(), 
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/0918cade427e1856c2e2bcfdefa8b4ea3e457b73/static.js/clean/xul/content/static.js