def rand10():
    """ rand7 to rand10 """
    n = rand7() + (rand7() - 1) * 7
    while n > 40:
        n = rand7() + (rand7() - 1) * 7
    return 1 + n % 10