@set UPDATED 3 September 2003
@set UPDATED-MONTH September 2003
@set EDITION 2.12.7
@set VERSION 2.12.7
