 and then foreign operations, basically the State Department bill. All of these got through. They were largely on party lines, as was expected to happen. The defense bill includes a lot of things, of course. $833 billion in terms of weapons. It adds more F-35s. It also, for people that are really interested in the pay,