format_string
time header file
time header