0xffffffffc0db5258