Question: What was the net income of PROCOP?
Answer: $4.3 billion