HASH(0x7f5cddea0fc8)