(5^100) mod 7