@set UPDATED 15 July 2003
@set UPDATED-MONTH July 2003
@set EDITION 5.0.1
@set VERSION 5.0.1
