How much does it take to cover the face value for the K's. Looks like the $4B plus another $2B for tax refunds.