@set UPDATED 31 January 2005
@set UPDATED-MONTH January 2005
@set EDITION 0.72
@set VERSION 0.72
