0xffffffffc0425538