如题，我有一个如下所示的文本文件：
6.56
9.31
0
9.33
10.69
0
10.7
12.83
0
12.85
14.93
0
每行都是一个以秒计数的时间，只有0的行为分隔标记行。
现在需要将其转换为00:00:00:000格式的时间，因此写了如下批处理进行测试：
@ECHO OFF
FOR /F %%G IN (srt.txt) DO (
SET _MIN=0
SET _SEC=0
SET _MSC=0
SET _CAL=%%G
SET /A "_CAL*=1000"
SET /A "_MIN=_CAL/60000"
SET /A "_CAL-=_MIN*60000"
SET /A "_SEC=_CAL/1000"
SET /A "_CAL-=_SEC*1000"
SET /A "_MSC=_CAL%%1000"
@ECHO ON
ECHO 00:%_MIN%:%_SEC%:%_MSC%
@ECHO OFF
PAUSE)
PAUSE
然而此脚本只能循环输出00:::。因此求助，希望能找出其中错误以便纠正。