HASH(0x7fedda5e68b8)