128^(128^128) mod 7