HASH(0x7ff424064bc8)