@set UPDATED 15 December 2007
@set UPDATED-MONTH December 2007
@set EDITION 0.80
@set VERSION 0.80
