17 mod 12 = 5