MINES OTHER THAN COAL MINES