to_24_hour_clock is done.