#include <stdio.h>
int main(void)
{
unsigned long microseconds = 49198630575;
long milliseconds = (long)(microseconds / 1000) % 1000;
long seconds = (((long)(microseconds / 1000) - milliseconds) / 1000) % 60;
long minutes = (((((long)(microseconds / 1000) - milliseconds) / 1000) - seconds) / 60) % 60;
long hours = ((((((long)(microseconds / 1000) - milliseconds) / 1000) - seconds) / 60) - minutes) / 60;
printf("%ld:%ld:%ld.%ld\n", hours, minutes, seconds, milliseconds);
return 0;
}
/*
run:
13:39:58.630
*/