#include<bits/stdc++.h>
using namespace std;

int main(){
	int n;
	cin>>n;
	if(n<7){
		cout<<n<<endl;
	}
	else{
		cout<<7*(n-6)+6<<endl;
	}
}