#include <stdio.h>
#include <stdlib.h>
#include <string.h>
long main(void)
{
    long long int budget;
    long int childnum;
    scanf("%lld",&budget);
    scanf("%ld",&childnum);
    budget/=childnum;
    if(budget/1000==0)
    {
        printf("0");
    }
    else
    {
        printf("%lld000",budget/1000);
    }
    
}