#include <stdio.h>
int main(){
	int N,K;
	scanf("%d %d",&N,&K);
	printf("%d",1000*(N/(K*1000)));
	return 0;
}