(2^((2^(23-1))-1))