timestring       1394 src/swfdump.c  		printf(" %d (%s)", frame+1, timestring(frame*(256.0/(swf.frameRate+0.1))));
timestring       1397 src/swfdump.c  			timestring(frame*(256.0/(swf.frameRate+0.1))),
timestring       1398 src/swfdump.c  			timestring(nframe*(256.0/(swf.frameRate+0.1)))