function Main(args) {
  var n = parseInt(args[0], 0);
  var m = parseInt(args[1], 0);
  var tmp = n / m;
  var result = tmp - tmp % 1000;
  console.log(result);
}

// var data =
//   [
//     10000,6
//   ];
// Main(data);
// Main(process.argv.slice(2));
// Main(require('fs').readFileSync('/dev/stdin', 'utf8').split(" "));
Main(require("fs").readFileSync("/dev/stdin", "utf8"));