How much did that house sell for?