Just trying to learn here: How many Delta shares did effected pilots receive? I believe it may have been a range based on time of service? Along those lines, there is a monthly payout upon retirement, no? How was that calculated? Lastly, what year did the 401K DB start? And what has its progression from 12% been? Thanks!