HASH(0x7fedda5e70b0)