HASH(0x7f5ce80db3f0)