 For July 7th, the record high was 99 in 2012. All right, I remember that. Only because I had a guest coming here, and she was from the north, and she was complaining about how warm it was. And then on July 9th, the record high was 100 in 1986.