Mr. Henry Gaynor:

They reach the age of 65 years while working. Many who reach 65 years of age might be on disability or unemployment payments and others might have taken redundancy a few years prior.