HASH(0x7fedda5b77d8)