if (event.originalTarget.nodeName != "#document") { return; } var doc = event.originalTarget || document; 
var doc = event.originalTarget; if (!doc || doc.nodeName != "#document") { return; } 
    that.onDOMContentLoad = function(event) {        if (event.originalTarget.nodeName != "#document") { return; }        var doc = event.originalTarget || document;        that.monitor.watch(doc);        return;    };
4463	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4463/430548e13258195d36f0a86d5a858dccf28ab93d/itsalltext.js/buggy/src/chrome/content/itsalltext.js