#include <stdio.h>


int main(int argc, const char * argv[]) {
    
    unsigned long N;
    int M;
    
    scanf("%ld",&N);
    scanf("%d",&M);
    
    printf("%ld\n",N/1000/M*1000);

    
    return 0;
    
}