Red-light ticket revenues based on total tickets issued in the 12 months between October and September by year.