HASH(0x7f5d00ff83f0)