Generation of random integers between 1 and 7.