使用变量批量获取图像的问题

Question

我试图制作一个批处理文件，该文件将创建一个介于1到13之间的随机数，并得到名为“ [random number] .jpg”的文件，但是它不起作用。

代码：

SET /A rand=%RANDOM% * 13 / 32768 + 1
IF NOT EXIST "IMGS\%rand%.jpg" (
    ECHO ERR: File " %rand%.jpg " not found
    pause
    EXIT
)

输出：     ERR: File " 6.jpg " not found

对为什么要这样做的任何想法？