getrandbits(9)