HASH(0x7f5cec0c1d68)