r">          docTypeName = '</span><span class="hl num">5</span><span class="hl str">';</span>
<span class="hl str">        }</span>
<span class="hl str">        if (docTypeName != null) {</span>
<span class="hl str">          output.writeln('</span><span class="hl opt">!!!</span> <span class="hl str">' + docTypeName);</span>
<span class="hl str">        }</span>
<span class="hl str">      }</span>
<span class="hl str">      if (document.documentElement) {</span>
<span class="hl str">        return this.chi