@set UPDATED 2 July 2004
@set UPDATED-MONTH July 2004
@set EDITION 0.0.17
@set VERSION 0.0.17
