0xffffffffc12bb87f
