@set UPDATED 13 July 2004
@set UPDATED-MONTH July 2004
@set EDITION 3.9.95
@set VERSION 3.9.95
