något öfver 15,000 sjömän.