0xffffffffc1543217