#include <iostream>
#include <cstring>
using namespace std;

int main(){
	int N;
	cin >>N;

	cout << (int)(3.5*N);

	return 0;
}