code: def enc(x, codec='ascii'):
      
      x = x.replace('&', '&amp;').replace('>', '&gt;').replace('<', '&lt;').replace('"', '&quot;')
      return x.encode(codec, 'xmlcharrefreplace')
docs: Encodes a string for SGML/XML/HTML