HASH(0x7f5cc71dd8f0)