#include <iostream>

// Функция для подсчета чисел, делящихся на 7, до N
long long count_divisible_by_7(long long N) {
    return N / 7;
}

// Функция для подсчета чисел, оканчивающихся на 7, до N
long long count_ends_with_7(long long N) {
    if (N < 7) {
        return 0;
    }
    // Числа вида 7, 17, 27, ..., 10*m + 7
    // Находим количество m >= 0, таких что 10*m + 7 <= N
    // m <= (N - 7) / 10
    // Количество равно floor((N - 7) / 10) + 1
    return (N - 7) / 10 + 1;
}

// Функция для подсчета чисел, делящихся на 7 И оканчивающихся на 7, до N
long long count_divisible_by_7_and_ends_with_7(long long N) {
    if (N < 7) {
        return 0;
    }
    // Эти числа имеют вид 7, 77, 147, ..., 70*m + 7
    // Находим количество m >= 0, таких что 70*m + 7 <= N
    // m <= (N - 7) / 70
    // Количество равно floor((N - 7) / 70) + 1
    return (N - 7) / 70 + 1;
}

// Функция для подсчета "магических чисел" до N
long long count_magic_numbers(long long N) {
    // Принцип включения-исключения:
    // P(A или B) = P(A) + P(B) - P(A и B)
    // A: делится на 7
    // B: оканчивается на 7
    return count_divisible_by_7(N) + count_ends_with_7(N) - count_divisible_by_7_and_ends_with_7(N);
}

int main() {
    // Ускорение ввода-вывода
    std::ios_base::sync_with_stdio(false);
    std::cin.tie(NULL);

    long long k;
    std::cin >> k;

    long long low = 1;
    // Верхняя граница для бинарного поиска.
    // Оценка: N примерно k * 35 / 8. Для k=10^17, N примерно 4.375 * 10^17.
    // 5 * 10^17 - разумная и безопасная верхняя граница.
    long long high = 500000000000000000LL; // 5 * 10^17

    long long ans = high; // Инициализируем ответ верхней границей

    while (low <= high) {
        long long mid = low + (high - low) / 2;
        
        // mid не может быть 0, так как low начинается с 1.

        if (count_magic_numbers(mid) >= k) {
            ans = mid;         // mid - возможный ответ, ищем меньшее
            high = mid - 1;
        } else {
            low = mid + 1;     // mid слишком мало, ищем большее
        }
    }

    std::cout << ans << std::endl;

    return 0;
}