0x3ff63817