HASH(0x7f5ce419b5d0)