HASH(0x7fee225b6f20)