0xffffffffc9427b3d