0x3ffff23d