HASH(0x7ff43c0bbc30)