Problem is this, I have one folder named \"abc\" with several batch files and they are named like this:
abc1.bat abc2.bat abc3.bat abc4
Say 1000 is the number of your abcX.bat files. Then this will do the trick:
SET /a rand=%RANDOM%*1000/32768+1 CALL abc%rand%.bat