function fireEventForElement(aElement, aEventType){  var e = document.createEvent("Events");  e.initEvent("download-" + aEventType, true, true);    aElement.dispatchEvent(e);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/39be0419a4a695ce67977c967201261ea171190a/downloads.js/clean/toolkit/mozapps/downloads/content/downloads.js