2,562 brittiska och 7,157 inhemska trupper.