HASH(0x7fedda5d27c0)