HASH(0x7fedda5c25c8)