echo base_convert(trim(fgets(STDIN)), 10, 7);
echo PHP_EOL;