(setf *M* (read))
(princ (mod (expt 2 128) *M*)))