HASH(0x7fedce5ecd88)