explicitly use Random to generate random numbers