#include <stdio.h>
int main(){
long long int a,b;
scanf("%lld%lld",&a,&b);
printf("%lld000",a/1000/b);
return 0;
}