I found that it is like this
echo %%613%% > SomeTextFile.txt
That was my first guess, but I thought it would not work. And apparently I was wrong