Age 70 actually at first, later adjusted to 65.

I can imagine the workers joking about making it to retirement... Coal miners probably had little chance, we can't imagine today how hard that work was. They were usually "worn out" around age 50.