@set UPDATED 5 May 2001
@set EDITION 0.10.1
@set VERSION 0.10.1
