HASH(0x7fedca5f0fc0)