@set UPDATED 2 December 2002
@set UPDATED-MONTH December 2002
@set EDITION 2.57
@set VERSION 2.57
