HASH(0x7f5d06bda3d0)