MINING. (1900)