@set UPDATED 11 November 2005
@set UPDATED-MONTH November 2005
@set EDITION 0.9.13
@set VERSION 0.9.13
