The actual labor force numbered 12 000.

• 实际劳动力有一万二千。