@set UPDATED 20 May 2001
@set UPDATED-MONTH May 2001
@set EDITION 4.1.20
@set VERSION 4.1.20
