13,000 marintrupper , inalles 37,000 man.