ou pass to HEADER_LEFT, _CENTER, or _RIGHT, (as
opposed to replacing the string with the page number), use the
special
<a href="definitions.html#inlines">inline escape</a>
<kbd><nobr>\*[PAGE#]</nobr></kbd> in the string argument.
</p>

<p>
For example, say you have a document that&#8217;s ten pages long,
and you want header-right to say &#8220;page &lt;whichever&gt; of
10&#8221;, invoke <kbd>.HEADER_RIGHT</kbd> as follows:
<br/>
<span class="pre-in-pp">
  .HEADER_RIGHT "page \*[PAGE#] of 10"
</span>
The hea