Coal production peaked in 1990, and we lost 40 percent of our production, which meant we lost 40 percent of our miners.