- "<A HREF=\"/ungoto\">"
- "<IMG SRC=\"/static/bleft.gif\" BORDER=0>"
- "Ungoto</A> ");
- wprintf("<A HREF=\"#TheTop\">"
- "<IMG SRC=\"/static/bup.gif\" BORDER=0>"
- "Top of page</A> ");
- wprintf("<A HREF=\"/display_enter\">"
+ "<TABLE border=0 width=100%><TR>"
+ "<TD><A HREF=\"/ungoto\">"
+ "<IMG SRC=\"/static/back.gif\" BORDER=0>"
+ "Ungoto</A></TD>");
+ wprintf("<TD><A HREF=\"#TheTop\">"
+ "<IMG SRC=\"/static/up.gif\" BORDER=0>"
+ "Top of page</A></TD>");
+ wprintf("<TD><A HREF=\"/display_enter\">"