HASH(0x7fedce5697d0)