är vid utmätning värderad till 9,458 kronor.