PrintTime         758 applications/mp4client/main.c 				PrintTime(gf_term_get_time_in_ms(term));
PrintTime        1872 applications/mp4client/main.c 				PrintTime(gf_term_get_time_in_ms(term));
PrintTime        1885 applications/mp4client/main.c 				PrintTime(Duration);
PrintTime        1901 applications/mp4client/main.c 					PrintTime((u64) res);
PrintTime        1927 applications/mp4client/main.c 				PrintTime(gf_term_get_time_in_ms(term));
PrintTime        1929 applications/mp4client/main.c 				PrintTime(Duration);
PrintTime        2694 applications/mp4client/main.c 		PrintTime((u32) (odi.duration*1000));
PrintTime        2954 applications/mp4client/main.c 		PrintTime((u32) (odi.current_time*1000));