." 2^16=(2^8)^(16/8)
cr ." 65536=65536
cr ." It is true