HASH(0x7f5cf935e8f8)