Something like 80% of workers are full time.