function Shutdown() 
function Shutdown() 
function Shutdown() {  gDownloadManager.removeListener(gDownloadListener);  let obs = Cc["@mozilla.org/observer-service;1"].            getService(Ci.nsIObserverService);  obs.removeObserver(gDownloadObserver, "download-manager-remove-download");}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/39be0419a4a695ce67977c967201261ea171190a/downloads.js/buggy/toolkit/mozapps/downloads/content/downloads.js