Fartygets wärde 4,000 kr.