Scanf.scanf "%d %d" (fun n m ->
    Printf.printf "%d\n" @@ (n / 1000) / m * 1000
)