@set UPDATED 22 January 2004
@set UPDATED-MONTH January 2004
@set EDITION 5.1.2
@set VERSION 5.1.2
