HASH(0x7f5cddee16b8)