In the previous reporting week, the kitty had increased $9.905 billion to $716.907 billion