#include<bits/stdc++.h>

using namespace std;
using ll = long long;

const int d[] = {0, 1, 1, 0, 1, 0, 0, 1};

ll n;

int main(){
  //freopen("moobuzz.in", "r", stdin);
  //freopen("moobuzz.out", "w", stdout);
  cin >> n;
  cout << n * 15 / 8 - d[(n - 1) % 8];
  return 0;
}

之前的AC代码，但看了洛谷题解后突然不知道自己代码啥意思了。