let date = end.toLocaleFormat("%d"); 
let date = end.toLocaleFormat("%e").replace(/\s+/g, ""); 
function updateTime(aItem){  // Don't bother updating for things that aren't finished  if (aItem.inProgress)    return;  // Figure out when today begins  let now = new Date();  let today = new Date(now.getFullYear(), now.getMonth(), now.getDate());  // Get the end time to display  let end = new Date(parseInt(aItem.getAttribute("endTime")));  // Figure out if the end time is from today, yesterday, this week, etc.  let dateTime;  if (end >= today) {    // Download finished after today started, show the time    let dts = Cc["@mozilla.org/intl/scriptabledateformat;1"].              getService(Ci.nsIScriptableDateFormat);    dateTime = dts.FormatTime("", dts.timeFormatNoSeconds,                              end.getHours(), end.getMinutes(), 0);  } else if (today - end < (24 * 60 * 60 * 1000)) {    // Download finished after yesterday started, show yesterday    dateTime = gStr.yesterday;  } else if (today - end < (6 * 24 * 60 * 60 * 1000)) {    // Download finished after last week started, show day of week    dateTime = end.toLocaleFormat("%A");  } else {    // Download must have been from some time ago.. show month/day    let month = end.toLocaleFormat("%B");    let date = end.toLocaleFormat("%d");    dateTime = replaceInsert(gStr.monthDate, 1, month);    dateTime = replaceInsert(dateTime, 2, date);  }  aItem.setAttribute("dateTime", dateTime);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/4a1def214bb581e3ccc5d1b11f89118cf5e913f9/downloads.js/clean/toolkit/mozapps/downloads/content/downloads.js