Sjötrupper cirka .... 12 000.