On Friday, the temperature in a town at 5:00 p.m. was 7°F which was 13 degrees warmer than at 9:00 a.m. What was the temperature, in degrees Fahrenheit, at 9:00 a.m.