void select_file(char result[13]);