för flottans fartyg och 62,500 kr.