Thank you all for being here.
I suppose at least some of you have been to China. I remember on my second trip to China, we visited a number of steel mills, and I read at that time that there's never been a major global power that hasn't been a leading steel producer. I forget what the statistics are, but what are they producing—about 80%? What is China producing at this point?