How much in NOL's are there? Even if it were a few billion it still comes nowhere close to paying out the claims.