</code> command) prints ``Jones—Foo'' at the bottom of each page.
<P>
<HR>
</BODY> </HTML>