HASH(0x7f5d0053e3d0)