export { }
let lines = [];
const reader = require('readline').createInterface({
  input: process.stdin,
  output: process.stdout
});
reader.on('line', function (line) {
  lines.push(line);
});
reader.on('close', function () {

  const money: number = lines[0]
  const people: number = lines[1]

  const result = Math.floor(money/(people*1000))*1000
  console.log(result)

});