HASH(0x7fee225e5b20)