The average high temperature in a town for the month of July is 36.71 C. One day in July the temperature reached a record high of 39.52 c. How much higher is the record high temperature than the average high temperature?