#include <map>
#include <vector>
#include <algorithm>
#include <iostream>
#define REP(i,n) for(int i=0;i<n;++i)
#define ALL(a) (a).begin(),(a).end()
typedef long long int LLI;
typedef unsigned long long int ULLI;
using namespace std;

int main() {
    LLI a, b, c;
    cin >> a;
    cin >> b;
    c = (a / b) / 1000;
    cout << c * 1000 << endl;
    return 0;
}