HASH(0x7fedda5e0ec0)