只是矿工这称呼有点俗气而已