HASH(0x7ff40c04dc30)