0x3ff8140f