0x3ffe1e3f