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

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