0xfffffffffa743d17