HASH(0x7f5cf457f8f8)