@set UPDATED 5 December 2002
@set UPDATED-MONTH December 2002
@set EDITION 1.7.2
@set VERSION 1.7.2

.