They use a rand() function as part of the input. I don’t think they have a source of true randomness they use, but it’s random enough for any practical purpose.