viewer.removeClickListeners(); 
function DOMViewer_destroy(){  PrefUtils.removeObserver("inspector", PrefChangeObserver);  viewer = null;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/9b0f1c477c8fe12252dbb0133ccab988319cffa7/dom.js/clean/extensions/inspector/resources/content/viewers/dom/dom.js