0x87...31b3