HASH(0x7f5cb0fc16f8)