@set UPDATED 17 December 2008
@set UPDATED-MONTH December 2008
@set EDITION 0.42
@set VERSION 0.42
