#include <bits/stdc++.h>
#include <iostream>
#include <string>
using namespace std;

int main() {
long long n=0,m=1;
cin>>n;
n=n*3.5;
cout<<n<<endl;

}

#950832