fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val p = readInt () in print (Int.toString p ^ "\n") end