12,000 man , hvilket möjligen kan synas något ringa i förhållande till innevånarnes antal;