#include "bits/stdc++.h"
using namespace std;

typedef long long Int;
#define REP(i,n) for(int (i)=0;(i)<(int)(n);++(i))

int main() {
	int N; cin >> N; cout << (3.5 * N) << endl;
}