@set UPDATED 23 October 2013
@set UPDATED-MONTH October 2013
@set EDITION 5.172.100
@set VERSION 5.172.100
