@set UPDATED 13 July 1999
@set EDITION 5.1
@set VERSION 5.1
