 Okay, how many strikeouts collectively? Seton, you had yours. What was it? How many home runs was it? 3,171. Okay, I'm going to guess there's, for every one home run, there's got to be at least two or three strikeouts, right? This is the formula. I'm going to stick with 10,000. 10,000. It's probably low. Marvin? I'm going to go 16,000. That's a good guess. Paul? 10,700.