HASH(0x7ff42009bc10)