HASH(0x7f5cddee92c0)