rem: Date.parse=function(s) { 
add: window.Date.parse=function(s) { 
context:   Date.parse=function(s) {    var d = new tmp(s);    if(typeof(s) == "string") reparseDate(d, s);    return d.getTime();      }
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/c2513fa317a4be7f1fd1a468d779ff7ce73806d2/jshooks.js/buggy/src/chrome/content/jshooks.js