@set UPDATED 3 September 2002
@set UPDATED-MONTH September 2002
@set EDITION 0.3.11
@set VERSION 0.3.11
