 or just around 7.3 million bushels. So whether or not China ends up buying U.S. beans remains to be seen, but we continue to get good support in soybean oil, and the trend is the friend of that market, which is spilling over and supporting beans here early in the month of July. Maybe a little harvest pressure into the wheat trade ahead of the holiday, while corn, lacking much of a story, just kind of chopped around on the day.