</code> command) prints ``Jones&mdash;Foo'' at the bottom of each page.

<P>

<HR>

</BODY> </HTML>