HASH(0x7f5ca01cb3d0)