There is one point about the documentation for random() and setseed() that is missing.  What is used to seed random() if setseed() isn't called first?  I assume it's something like /dev/random or /dev/urandom, but that's just a guess.  Can someone please enlighten me?

Thanks for the help!

Carl