A Google search shows I was way off the amount is $40-60B but I think there are additional sums not accounted for.