HASH(0x7fedda5cdb40)