HASH(0x7f5ca60e56f0)