It goes in a big pot and is squandered by Congress on stuff we don’t need instead of fixing the stuff we do need. BTW auctioning off spectrum is a one time deal whereas licensing or leasing it would produce revenue forever. Just not as much as the take on the front end from an auction.