HASH(0x7f5cec105e88)