HASH(0x7ff42805ba60)