Change in DC-area home prices, by ZIP code

July to October 2022