öfver 3,000 sjömän , deriblandmånga