[Q17.11]generate rand7 given rand5