setTimeout(function() {ItsAllText.onDOMContentLoad({originalTarget: event.originalTarget});}, 5000); 
(function() { var ext=exts[i]; node.addEventListener('command', function(event){return that.menuExtEdit(event, ext);}, false); })(); 
        setTimeout(function() {ItsAllText.onDOMContentLoad({originalTarget: event.originalTarget});}, 5000);
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/967386313a0d67d4ce5f98df58baa2a5345804fe/itsalltext.js/buggy/src/chrome/content/itsalltext.js