A Time value represents a wall clock time.

Input format

A Time value is specified as a string in H:MM:SS format. The number of hours can be any integer between 0 and 23, and the number of minutes and the number of seconds can be any integer between 0 and 59 (inclusive), zero-padded to a length of 2 characters. The seconds can be left of, to denote :00. The following examples are all valid:


Output format

In JSON output, Time values are encoded in exactly the same way as in the input: strings in H:MM:SS format, for example: