+static char strbuf[800];
+static int bufpos=0;
+
+char* timestring(double f)
+{
+ int hours = (int)(f/3600);
+ int minutes = (int)((f-hours*3600)/60);
+ int seconds = (int)((f-hours*3600-minutes*60));
+ int useconds = (int)((f-(int)f)*1000+0.5);
+ bufpos+=100;
+ bufpos%=800;
+ sprintf(&strbuf[bufpos], "%02d:%02d:%02d,%03d",hours,minutes,seconds,useconds);
+ return &strbuf[bufpos];
+}
+