 July 14th, the record high, 101 in 1993. July 15th, the record high, 101 in 1995. July 16th, the record high, 102 in 1879. And they didn't have AC back then. Some of you who aren't historians might not know that. Where were we? July 17th? I don't know. We're skipping around here. The record high, 100 in 1887. July 18th, 104.