@set UPDATED 13 November 2001
@set UPDATED-MONTH November 2001
@set EDITION 1.95.10
@set VERSION 1.95.10
