7+3^(2^1+2^2+2^3+2^5) mod 2^9