CCCPaste

a5a2900b2b35f

#include <iostream>
using namespace std;
int main(){

int n;
cin >> n;

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