@set UPDATED 18 July 2002
@set UPDATED-MONTH July 2002
@set EDITION 1.5.7
@set VERSION 1.5.7
