HASH(0x7fee030dc1e0)