HASH(0x7f5ce212b4f0)