let ``No.128 お年玉(1)``() =

  let N = stdin.ReadLine() |> int
  let M = stdin.ReadLine() |> int
  (N / M / 1000)*1000
  |> stdout.WriteLine 

``No.128 お年玉(1)``()