HASH(0x7fee225b9b18)