#include<stdio.h>

int main(void){
	unsigned long long int n,m;
	scanf("%llu%llu",&n,&m);
	n/=1000;
	n/=m;
	printf("%llu000\n",n);
	return 0;
}