@ -328,7 +328,7 @@
<p>
[<a href="#top">top</a>]
[<a href="javascript:window.location.reload();">reload</a>]
[<a href="<?php echo $_SERVER['PHP_SELF']; ?>">reload</a>]
[<a href="?source">source</a>]
</p>