hoc2013 formatting