9000 man i provinsen Oran.