def _dump(self, s):
    s = s.replace('&', '&amp;').replace('{', '\\{').replace('}', '\\}').replace('\\<', '&lt;').replace('\\>', '&gt;').replace('\\l', '<br />').replace('|', '\\|')
    if self._gray_mode:
        s = re.sub('<font color="[a-z0-9]*">', '', s)
        s = re.sub('</font>', '', s)
    self._dump_raw(s)
def _dump(self, s):
    s = s.replace('&', '&amp;').replace('{', '\\{').replace('}', '\\}').replace('\\<', '&lt;').replace('\\>', '&gt;').replace('\\l', '<br />').replace('|', '\\|')
    if self._gray_mode:
        s = re.sub('<font color="[a-z0-9]*">', , s)
        s = re.sub('</font>', , s)
    self._dump_raw(s)