MINING PENSIONS.