HASH(0x7f5ceedc1d68)