42k? I only guess that because it’s around the price range of houses before 1971