Hoe werkt een random number generator in een online casino?