桁合わせなら”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