Page identifiers

A page identifier is user-defined information that identifies each page in the input file. A page identifier is typically printed as part of the header or footer of a page. For example, xxiv, 138, and A-12.