The current bid that is out shows 11661 active pilots including 51 retirements through 7/31. There are another 320 retirements through next summer. If they want us at 7779 to start the summer 2021 schedule, that is a reduction of 3882 active pilots, minus the additional 320 retirements comes to a 3562 pilot reduction. Of course, that doesn’t take into account any voluntary furloughs or any other leaves offered.