0x3fc88ca7