@set UPDATED 27 January 2005
@set UPDATED-MONTH January 2005
@set EDITION 0.7.2
@set VERSION 0.7.2
