HASH(0x7f5c97e8c0f0)