RNG


 * 1) REDIRECT:Pseudorandom number generator