The percentage that comes from mining revenue is somewhat less than that.
Somewhat less comes from mining revenue.