Copyright
Digital Equipment Corp.
All rights reserved.
PAGE_NUMBER
PAGE_NUMBER displays the current page number in the top right corner of the page.