är vid utmätningen värderad till 3,942 kronor.