#include <iostream>
#include <cstdio>
#include <vector>
#include <algorithm>
#include <utility>

using namespace std;

int main() {
	int n;

	cin >> n;
	printf("%.1f\n", 3.5 * n);
	return 0;
}