If the 9,000 number is not necessarily the seniority list but actual pilots flying, which I suspect it is, then we need to lose by my count somewhere around 1,470 pilots. (rounding)

By January 25, 2019... the plug here hits 9,000 if everyone stays to 65.

Unless everyone goes out early, then you can move that up proportionally.