@set UPDATED 2003 ǯ 8
@set UPDATED-MONTH ǯ 8
@set EDITION 4.0
@set VERSION 4.0
