HASH(0x7fedd785e180)