员工人数的BABCOCK INTERNATIONAL GROUP PLC。