def hms_to_s(s):
    """
    Convert the time formatting from a string of the form "hh:mm:ss"
    to an integer representing the number of seconds counting from 00:00:00
    """
    h, m, s = list(map(int, s.split(":")))
    return 3600 * h + 60 * m + s