CCCPaste

484971cca2ec8

#include <iostream>

using namespace std;

int main() {

int n;
cin >> n;

cout << 7 * n - 3 << endl;
return 0;
}