i dess helhet är taxeringsvärderad till 4 ; , 000 kronor samt af utmätningsmannen värderad till 20,000 kronor.