def tuple_to_clockface(clock_tuple):
    """ Returns tuple of the time in a (('hour:minutes:seconds'), ms) format.
        
    Parameters:
    clock_tuple: int
        tuple containing (hours, minutes, sec, ms).
    """
    formatted_time = '%02d:%02d:%02d' % (clock_tuple[0], clock_tuple[1],
        clock_tuple[2])
    formatted_milliseconds = '%03d' % clock_tuple[3]
    return formatted_time, formatted_milliseconds
