#include<bits/stdc++.h>
#include <atcoder/all>
#ifdef LOCAL
#include <debug_print.hpp>
#define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
#define debug(...) (static_cast<void>(0))
#endif
using namespace atcoder;
using mint=modint998244353;
using namespace std;
using ll=long long;
using ul=unsigned long long;
int dx[8] = {-1, 1, 0, 0, -1, -1, 1, 1};
int dy[8] = {0, 0, -1, 1, -1, 1, -1, 1};
using Graph=vector<vector<int>>;
int main(){
    ll N;
    cin>>N;
    ll cnt=(N/15)*16;
    ll k=N%15;
    if(k==0||k==1||k==2)cout<<cnt<<endl;
    else if(k==3||k==4)cout<<cnt+2<<endl;
    else if(k==5)cout<<cnt+4<<endl;
    else if(k==6||k==7||k==8)cout<<cnt+6<<endl;
    else if(k==9)cout<<cnt+8<<endl;
    else if(k==10||k==11)cout<<cnt+10<<endl;
    else if(k==12||k==13||k==14)cout<<cnt+12<<endl;

}