Use a better random number generator