function pr(n) {document.write(n,"\n");}
pr("<FONT SIZE=-1 FACE=Verdana>")
pr("<A HREF=../../index_text.html>ind</A><A HREF=../../v2s/index.html>ex</A> &#149; ")
pr("<A HREF=index.php>abstract</A> &nbsp; ")
pr("<A HREF=metaform.html>web text</A> &nbsp; ")
pr("<A HREF=doc_index.html>doc</A> &nbsp; ")
pr("<A HREF=metaform_quotes.html>quotes</A> &nbsp; ")
pr("<A HREF=../../sorry.html>zip</A> &nbsp; ")
pr("<A HREF=metaform_pp/metaform3.pps>show</A> ")
pr("</FONT><BR><BR>")