#include <bits/stdc++.h> 
using namespace std;

int main(){
  int a, b;
  cin >> a >> b;
  a/=1000;
  cout << a/b << "000";
 
}