7 billion of these dollars was for a contingency, a hedge against the unknown---to cover unforeseen events.
The hedge fund was worth 7 billion dollars.