0x3ff5f7f7