@set UPDATED 19 May 2004
@set UPDATED-MONTH May 2004
@set EDITION 1.12.9
@set VERSION 1.12.9
