With the market down today, mining is a plus, making a profit is a difficult market, so I think mining is better and safer for us.