getService(Ci.nsIScriptableDateFormat); 
getService(Ci.nsIScriptableDateFormat); 
function showDownloadInfo(aDownload){  gUserInteracted = true;  var popupTitle    = document.getElementById("information-title");  var uriLabel      = document.getElementById("information-uri");  var locationLabel = document.getElementById("information-location");  // Generate the proper title (the start time of the download)  var dts = Cc["@mozilla.org/intl/scriptabledateformat;1"].            getService(Ci.nsIScriptableDateFormat);    var dateStarted = new Date(parseInt(aDownload.getAttribute("startTime")));  dateStarted = dts.FormatDateTime("",                                   dts.dateFormatLong,                                   dts.timeFormatNoSeconds,                                   dateStarted.getFullYear(),                                   dateStarted.getMonth() + 1,                                   dateStarted.getDate(),                                   dateStarted.getHours(),                                   dateStarted.getMinutes(), 0);  popupTitle.setAttribute("value", dateStarted);  // Add proper uri and path  let uri = getReferrerOrSource(aDownload);  uriLabel.label = uri;  uriLabel.setAttribute("tooltiptext", uri);  var path = aDownload.getAttribute("path");  locationLabel.label = path;  locationLabel.setAttribute("tooltiptext", path);  var button = document.getAnonymousElementByAttribute(aDownload, "anonid", "info");  gDownloadInfoPopup.openPopup(button, "after_end", 0, 0, false, false);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/39be0419a4a695ce67977c967201261ea171190a/downloads.js/buggy/toolkit/mozapps/downloads/content/downloads.js