HASH(0x7f5cca50af80)