AA/US combined is approximately what, 15k pilots?

With the consolidation from SLI, the implementation of PBS, and the combination of the international and domestic operations, what size do you anticipate the pilot group to be in the upcoming years?