HASH(0x7ff40c50f730)