#include <iostream>
using namespace std;
int main()
{
int n;
cin >> n;
cout << n * 7*1.0/2 << endl;
return 0;
}