HASH(0x7f5ca00ff3d0)