gDownloadsView.selectedIndex = newIndex; 
function removeDownload(aDownload){  gDownloadManager.removeDownload(aDownload.getAttribute("dlid"));  gDownloadsView.removeChild(aDownload);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/8ed7eaef208a5b0adf8c94436a3bf03eb8337883/downloads.js/buggy/toolkit/mozapps/downloads/content/downloads.js