HASH(0x7fedce5fab70)