#include<iostream>

using namespace std;

int main(){

	int N;

	cin>>N;

	cout<<3.5*N<<endl;

}