Download the output of a request to the random.org website for a single random integer between 0 and 10000, and save it to a file.
wget -O - $(curl -s "https://www.random.org/integers/?num=1&min=0&max=10000&col=1&base=10&format=plain")