At its peak, how many pilots did PanAm have on its seniority list?

I googled around and can’t find an answer to this. It’s very possible I didn’t google hard enough though Does anyone have an answer to this with a reference? Bonus points for also knowing how big the seniority list at Eastern got! [link]