function Main(input){
  var d = input.split("\n");
  var n = d[0];
  var m = d[1];
  var a = parseInt(n/1000);
  var b = parseInt(a/m);
  var c = b*1000;
  console.log(c);
}

Main(require("fs").readFileSync("/dev/stdin","utf-8"));