och marinsoldaternas hela antal uppgår till 17,000 persener.