HASH(0x7f5cecc1e1f0)