Praat脚本如何实现将数字的文件名根据需要设定同样的位数以0补充

在其它程序语言中，这样的操作很常见，并且很容易实现，有一个数据的精度问题和数据输出格式问题，但是在Praat中没有这样的直接的操作，如果要操作这样的问题比如把

1 2 3 4 5 6 7 8 9...要求输出是

00001
00002
00003
00004
00005
00006
00007
00008
00009
00010

在Praat中实现的时候要充分利用整除等操作，直接上代码，示例是将1-100以内的数据，输出为5位，前面补充0：

clearinfo
limit=5
for i from 1 to 100
	temp=i
	ii=0
	repeat
		temp=temp div 10
		ii=ii+1
	until temp=0
	sumtemp=limit-ii
	mark$=""
	for j from 1 to sumtemp
		mark$=mark$+"0"
	endfor
	
	printline 'mark$''i'
endfor