use rand5() to generate rand7()