0xfa717ffc80