let i = require('fs').readFileSync('/dev/stdin', 'utf8').split('\n').slice(0,-1).map((e) => parseInt(e))
console.log(Math.floor(Math.floor(i[0]/1000)/i[1])*1000)