HeaderDetermines the text and format of the header of each printed page. In addition to text, certain substitutions are allowed in the header. A substitution is the percent (`%') character followed by another character that has a special meaning. For example, a header of ``%f %d'' would become the name of the file being printed, followed by a space, followed by the current date and time. The full set of substitutions is described separately below.