HASH(0x7fee225c7a38)