@set UPDATED 30 May 2007
@set UPDATED-MONTH May 2007
@set EDITION 4.2.31
@set VERSION 4.2.31
