0xffffffffc0db72d0