12^(17-1) mod 17