Copyright Digital Equipment Corp. All rights reserved.
DOCUMENT_TITLE displays the document title or titles as contained in the document header centered at the top of the page, one string per line.