7,132 man brittiska trupper.