node.addEventListener('command', function(event){return that.menuExtEdit(event);}, false); 
node.addEventListener('command', function(event){return that.menuExtEdit(event, null, false);}, false); 
        node.addEventListener('command', function(event){return that.menuExtEdit(event);}, false);
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/967386313a0d67d4ce5f98df58baa2a5345804fe/itsalltext.js/buggy/src/chrome/content/itsalltext.js