HASH(0x7ff44007d240)