sjömän i utländska hamnar ; 8.000 kr.