#include <stdio.h>
int main(void){
	long long money,val;
	scanf("%lld%lld",&money,&val);
	
	printf("%lld",(money / (val * 1000)) * 1000);
}