HASH(0x7f5d000ca5f0)