1@set UPDATED 9 December 2011 2@set UPDATED-MONTH December 2011 3@set EDITION 1.12 4@set VERSION 1.12 5