HASH(0x7ff438070480)