Fartygets wärde 4,000 kronor.