<html>
      <body>
            The source of this document is:
            <pre>
&lt;html&gt;
      &lt;body&gt;
           The source of this document is:
           &lt;pre&gt;
&amp;lt;html&amp;gt;
      ...       
&amp;lt;html&amp;gt;
           &lt;/pre&gt;
      &lt/body&gt;
&lt/html&gt;
           </pre>
      </body>
</html>