HASH(0x7fedda5adfd8)