1 november 2018: 725 companies