HASH(0x7f5cceba8e80)