HASH(0x7fee325afd70)