מספר עובדים של PORT SERCO JSC.