HASH(0x7fedda5aa238)