Not entirely on topic, but what are the rough numbers for mandatory retirements over the next 5-10 years? Just wondering how long it would take to build some seniority/job security based on no growth.