HASH(0x7fee225c8028)