10 — 12 , 000 högtidsklädda arbetare.