HASH(0x7f5ce816bca0)