Högsta temperaturen under den 17 + 12 1 / 2.