from sys import stdin
readline = stdin.readline


estimate, related_kids = map(int, readline().split())
print(estimate // related_kids // 1000 * 1000)