print base_convert(trim(fgets(STDIN)), 10, 7) . PHP_EOL;