HASH(0x7f5ceddd5188)