HASH(0x7f5cddeffcd0)