# RANDNUMB.XEQ - Returns a random number.
# Jeff Vance - Hewlett Packard

setvar number chr((hpcpumsecs mod 10)+ord('0'))
echo !number