HASH(0x7fedda5db968)