def format_time(elapsed):
    hours = int(elapsed // 3600)
    elapsed %= 3600
    minutes = int(elapsed // 60)
    seconds = int(elapsed % 60)
    milliseconds = int((elapsed - int(elapsed)) * 1000)
    formatted_elapsed_time = f"{hours:02}:{minutes:02}:{seconds:02}.{milliseconds:03}"
    return formatted_elapsed_time