@set UPDATED 3 December 2002
@set UPDATED-MONTH December 2002
@set EDITION 0.93
@set VERSION 0.93
