Introducing a random number generator