5 600 och i Gibraltar 4 350 man.