@set UPDATED 20 December 2002
@set UPDATED-MONTH December 2002
@set EDITION 4.1.2
@set VERSION 4.1.2