0xffffffffc145dcdf
