that.debug('ignoring: %o',doc); 
that.debuglog('ignoring:', location, contentType); 
  that.onDOMContentLoad = function(event) {    if (event.originalTarget.nodeName != "#document") { return; }    var doc = event.originalTarget;    /* Check that this is a document we want to play with. */    var contentType = doc.contentType;    var location = doc.location;    var is_usable = (contentType == 'text/html' ||                     contentType == 'text/xhtml') &&       location.protocol != 'about:' &&      location.protocol != 'chrome:';    if (!is_usable) {       that.debug('ignoring: %o',doc);      return;    }    that.monitor.watch(doc);    return;  };
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/bce0a6f921432eb6e11a2f4bacbca50f7e619c10/itsalltext.js/clean/chrome/content/itsalltext.js