0x3fffa71d