rem: time.setTime(Date.parse(str)); 
add: time.setSeconds(0); time.setMinutes(0); time.setHours(0); time.setDate(date); time.setMonth(month); time.setYear(year);  
context: function convertStringToPRTime(str){  var time = new Date();  time.setTime(Date.parse(str));  // Javascript time is in seconds, PRTime is in microseconds  // so multiply by 1000 when converting  return (time.getTime() * 1000);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/2035538e9c40d174a8eaced963064e5102b052cf/searchTermOverlay.js/buggy/mailnews/base/search/resources/content/searchTermOverlay.js