browser.removeEventListener(LOAD_EVENT, listener.func, true); 
browser.removeProgressListener(listener.handler); 
WebLoadingListener.removeListener = function(browser, listener) {    browser.removeEventListener(LOAD_EVENT, listener.func, true);}
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/f50cda6e62d8abe3c6c51308947de15079fcb2f8/webLoadingListener.js/clean/firefox/src/extension/components/webLoadingListener.js