HASH(0x7f5ce80df2f0)