HASH(0x7fee2f8bc340)