äro 5,000 i bruk.