$9.6 billion judgment debt