<?php
$n_yen= trim(fgets(STDIN));
$menbers= trim(fgets(STDIN));

$ans=($n_yen/1000) /$menbers;

//echo $ans.PHP_EOL;
$ans=floor($ans)*1000;

echo (int)$ans.PHP_EOL;