HASH(0x7f5ce06543e0)