HASH(0x7ff45005fd40)