= 3600) return sprintf('%02d:%02d:%07.4f', ($t/3600%3600), ($t/60%60), fmod($t, 60)); else return sprintf('%02d:%07.4f', ($t/60%60), fmod($t, 60)); } ?> <?=$stat_name?>