buf+=pos+8;
buf+=pos+(found?0:8);
  void OutputMozillaFilename(ostream& anOutput) {        PRInt32 pos=mFilename.Find("mozilla");    const char* buf=mFilename.GetBuffer();    if(-1<pos) {      buf+=pos+8;        if(gEmitHTML) {        anOutput << "<br><a href=\"" ;              anOutput << "http://lxr.mozilla.org/mozilla/source/";        anOutput << buf << "#" << mLineNumber;        cout << "\">";        }      cout << buf << ":" << mLineNumber;      if(gEmitHTML) {        cout << "</a>";      }    }    else {      anOutput << buf;    }  }