#include <stdio.h>

int main(void){
  long long n;
  short m;
  scanf("%lld%hd", &n, &m);
  printf("%lld\n", ((n / 1000) / m) * 1000);
  return 0;
}