@set UPDATED 13 August 2001
@set UPDATED-MONTH August 2001
@set EDITION 1.8.12
@set VERSION 1.8.12
