HASH(0x7f5cea0fc8f0)