What did that house sell for