1 November 2018: 725 companies