use real random numbers now