HASH(0x7ff438033ef0)