var time = new Date(); time.setMilliseconds(0); time.setSeconds(0); time.setMinutes(0); time.setHours(0); time.setYear(year); time.setMonth(month); time.setDate(date); 
var time = new Date(year, month, date); 
function convertStringToPRTime(str){  initializeSearchDateFormat();  var arrayOfStrings = str.split(gSearchDateSeparator);  var year, month, date;  // set year, month, date based on the format option  switch (gSearchDateFormat)  {    case 1:      year = arrayOfStrings[0];      month = arrayOfStrings[1];      date = arrayOfStrings[2];      break;    case 2:      year = arrayOfStrings[0];      month = arrayOfStrings[2];      date = arrayOfStrings[1];      break;    case 3:      year = arrayOfStrings[2];      month = arrayOfStrings[0];      date = arrayOfStrings[1];      break;    case 4:      year = arrayOfStrings[1];      month = arrayOfStrings[0];      date = arrayOfStrings[2];      break;    case 5:      year = arrayOfStrings[2];      month = arrayOfStrings[1];      date = arrayOfStrings[0];      break;    case 6:      year = arrayOfStrings[1];      month = arrayOfStrings[2];      date = arrayOfStrings[0];      break;    default:      dump("valid search date format option is 1-6\n");  }  month -= 1; // since js month is 0-11  var time = new Date();  time.setMilliseconds(0);  time.setSeconds(0);  time.setMinutes(0);  time.setHours(0);  time.setYear(year);  time.setMonth(month);  time.setDate(date);  // JavaScript time is in milliseconds, PRTime is in microseconds  // so multiply by 1000 when converting  return (time.getTime() * 1000);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/98fbee70ffce4e8bfe94e630293b92fa49543486/dateFormat.js/clean/mailnews/base/resources/content/dateFormat.js