Did total # of workers just jump 10,000?