@set UPDATED 21 July 2000
@set EDITION 4.04
@set VERSION 4.04
