Bash – generate a random number of a given range

You can generate a random number in bash using this snippet:

RAND=$(shuf -i 7000-7999 -n 1)