HASH(0x7ff42405d108)