document.write('非煤井工矿山采矿方法可分为四大类');