@set UPDATED 9 February 2003
@set UPDATED-MONTH February 2003
@set EDITION 1.13.25
@set VERSION 1.13.25
