#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; using ull = unsigned long long; using ll = long long; int main() { ull n; cin >> n; cout << static_cast(n*3.5) << endl; }