员工人数的CERRO GRANDE MINING CORPORATION。