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