human
Write me a Python function to change the format of time.
assistant
Here is a Python function to change the format of time

import time

def change_time_format(*args):
    """Change format of time."""
    return time.strftime(*args)

# Enter the time
time_string = "12:00:00"

# Calling the function
time_string = change_time_format(time_string)

# Printing the time
print(time_string)

#Example Output
# 12:00:00

#Remember to inspect code for bugs.