In the previous reporting week, the overall kitty had declined by $4.112 billion to $640.279 billion.