 Domestic utilization accounts for 97% of total consumption. So this is important. That jumped 18.2% from prior year to the highest May domestic utilization number since these numbers started coming out from the USDA in 2011.