#include<iostream>


int main() {
	int dice_num;
	std::cin >> dice_num;

	std::cout << 3.5*dice_num << std::endl;
	return 0;
}