2^17