@set UPDATED 31 May 2007
@set UPDATED-MONTH May 2007
@set EDITION 1.7.12
@set VERSION 1.7.12
