Before he even backdoored it, the lottery was using a Mersenne Twister?
The random number is called the seed, and the seed is plugged into the algorithm, a pseudorandom number generator called the Mersenne Twister. At the end, the computer spits out the winning lottery numbers.