0x3ff8c143