@set UPDATED 31 July 2011
@set UPDATED-MONTH July 2011
@set EDITION 5.25.1
@set VERSION 5.25.1
