public static string log_file(int index)
 {
     return(FormatUtility.Format("log/log_{0}.txt", index));
 }