@set UPDATED 20 January 2002
@set UPDATED-MONTH January 2002
@set EDITION 4.0.1
@set VERSION 4.0.1
