矿工业，核工业开头的数字。