fun readLargeInt () = valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn) val () = let val d = readLargeInt () val ans = d * 108 div 100 in print (LargeInt.toString ans ^ "\n") end