#include <bits/stdc++.h>using namespace std;int main() { int n; while(cin>>n){ cout<<n*8-11<<endl; } return 0;}