HASH(0x7ff438073328)