@set UPDATED 1 August 2005
@set UPDATED-MONTH August 2005
@set EDITION 0.9.12
@set VERSION 0.9.12
