SHANXI COKING COAL GROUP CO LTD的已發行普通股總數。