<?php $n_yen= trim(fgets(STDIN)); $menbers= trim(fgets(STDIN)); $ans=(($n_yen/1000)-($n_yen/1000)%$menbers)/$menbers; //echo $ans.PHP_EOL; echo $ans.PHP_EOL; //10000000000000000