9^100 mod 7