#include<bits/stdc++.h> using namespace std; double n; int main(){ cin>>n; if(n<=3) cout<<13; else cout<<13+(n-3)*2.3+1; return 0; }