fscanf(STDIN, "%d", $N);
  fscanf(STDIN, "%d", $M);
echo floor($N/($M*1000))*1000;