It pays out 10% a year. It makes 42 payouts, roughly once a week. And it is not funded by U.S. tax dollars.