This is correct. As of Today, the lowest seniority number is 16241. The seniority number is based on a snapshot from last July 2022. The real number on property is around 15200 pilots now. We will see an accurate list this July when the company updates the master list. The union puts out a more accurate list every month (showing all that have retired or resigned or medical out), but it has not come out yet this month.