How many billions of dollars?
$10 billion but that was over 24 years or something like that
I thought it was over $14 billion.