7576 is correct. Future 401(k) contributions of any kind are "TBD" (To Be Determined). Despite the 1113 having a specific claimed 401(k) conversion, it would appear AA pilots are being "sent to bed without dinner" for misbehaving and not capitulating to a grotesquely sub-standard offer.