HASH(0x7ff428053f28)