7 + 5 mod 8