dito , värda 3,800 kr.