var n = Date.now(); 
var n = new Date(); 
Date.prototype.setTimeToNow = function (config) {    var n = Date.now();    this.setHours(n.getHours());    this.setMinutes(n.getMinutes());    this.setSeconds(n.getSeconds());    this.setMilliseconds(n.getMilliseconds());    return this;};
4137	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4137/4f9e9875c3d94ca9d46a8f76c66c5e872597ccff/core-debug.js/buggy/core-debug.js