Record high before or after adjusting for inflation?