@set UPDATED 31 July 2003
@set UPDATED-MONTH July 2003
@set EDITION 1.1.42
@set VERSION 1.1.42
