<?php
fscanf(STDIN, "%d", $n);
fscanf(STDIN, "%d", $m);

$per_k = (int)((int)($n / $m) / 1000);
$res = $per_k * 1000;

echo $res."\n";
 ?>