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

  let N = stdin.ReadLine() |> int
  let M = stdin.ReadLine() |> int
  match M with
  | 0 -> 0
  | _ -> (N / M / 1000)*1000
  |> stdout.WriteLine 

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