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