HASH(0x7f5c943c23f0)