桁合わせなら”strf:書式付き文字列を変換”を使うとif命令が少なくなりますね。
screen 0,186,20
*c1
	redraw 0
	color 255,255,255	:boxf
	pos 0,0	:color 0,0,0
	mes strf("%d/%02d/%02d %02d:%02d:%02d.%03d",gettime(0),gettime(1),gettime(3),gettime(4),gettime(5),gettime(6),gettime(7))
	redraw 1
	await 1
goto *c1