gDownloadsView        = document.getElementById("downloadView"); gDownloadsActiveArea  = document.getElementById("active-downloads-area"); gDownloadsDoneArea    = document.getElementById("done-downloads-area"); gDownloadInfoPopup    = document.getElementById("information"); 
gDownloadsView = document.getElementById("downloadView"); gSearchBox = document.getElementById("searchbox"); gDownloadInfoPopup = document.getElementById("information"); 
function Startup(){  gDownloadsView        = document.getElementById("downloadView");  gDownloadsActiveArea  = document.getElementById("active-downloads-area");  gDownloadsDoneArea    = document.getElementById("done-downloads-area");  gDownloadInfoPopup    = document.getElementById("information");  // convert strings to those in the string bundle  let (sb = document.getElementById("downloadStrings")) {    let getStr = function(string) sb.getString(string);    for (let [name, value] in Iterator(gStr))      gStr[name] = typeof value == "string" ? getStr(value) : value.map(getStr);  }  buildDefaultView();  // View event listeners  gDownloadsView.addEventListener("dblclick", onDownloadDblClick, false);  // The DownloadProgressListener (DownloadProgressListener.js) handles progress  // notifications.  gDownloadListener = new DownloadProgressListener();  gDownloadManager.addListener(gDownloadListener);  // downloads can finish before Startup() does, so check if the window should  // close and act accordingly  if (!autoRemoveAndClose())    gDownloadsView.focus();  let obs = Cc["@mozilla.org/observer-service;1"].            getService(Ci.nsIObserverService);  obs.addObserver(gDownloadObserver, "download-manager-remove-download", false);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/9a1d793ed199840168e87d4d74714e5218c22810/downloads.js/buggy/toolkit/mozapps/downloads/content/downloads.js