5,000 were working as labourers for companies that exported sand’.