@jondoe: Yes, $35 billion