You are correct, they are still active employees till they reach 65 and will still be on the list. A more accurate way to see your number is from CCS - Reports- Seniority report.