HASH(0x7f5ccde31c40)