..document-end ;event
..     output "</BODY>%n</HTML>%n"