@set UPDATED 24 July 2002
@set UPDATED-MONTH July 2002
@set EDITION 2.0.13
@set VERSION 2.0.13
