MINING LAW OF 1872