HASH(0x7ff420036488)