write_page_header()
Define the page header as from the current page
Text to print in the header.
See also
write_destination