return this.addMilliseconds(value * 604800000); /* 60*60*24*7*1000 */ 
return this.addDays(value * 7); 
Date.prototype.addWeeks = function (value) {     return this.addMilliseconds(value * 604800000); /* 60*60*24*7*1000 */};
4137	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4137/0bbf7b14703f5a91c97830542dfc6e5c941d1dc1/core-debug.js/buggy/core-debug.js