0x3fc7cdda