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

int main()
{
int i;
int N;

	cin >> N;
	i = N * 35;

	if( N % 2 == 0 )
		cout << i / 10 << endl;
	else
		cout << i / 10 << ".5" << endl;

	return 0;
}