2^16 mod 17