@set UPDATED 2 December 2007
@set UPDATED-MONTH December 2007
@set EDITION 4.3.12
@set VERSION 4.3.12
