HASH(0x7fee2267dd70)