HASH(0x7fee2f80f3e0)