0x3ff8d707