Copyright Digital Equipment Corp. All rights reserved.

DOCUMENT_TITLE

   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.