<!DOCTYPE html>
<div style="width: 15em">
<pre>
MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM
</pre>
<pre width=12>
MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM
</pre>
<pre cols=12>
MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM
</pre>
<pre wrap>
MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM
</pre>
<pre wrap width=12>
MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM
</pre>
<pre wrap cols=12>
MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM MMMMM
</pre>
</div>
<script>document.write(document.querySelectorAll('pre')[1].width);</script>
