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