#include<stdio.h>
int main()
{
    long long int n,m;
    scanf("%lld%lld",&n,&m);
    n/=m;
    if(n==0)
        printf("0\n");
    else
        printf("%lld000\n",n/1000);
    return 0;
}