#include <fstream>
#include <iostream>

int main() {

	//std::ifstream inf("Text.txt");	std::cin.rdbuf(inf.rdbuf());

	double D, temp;
	std::cin >> D;

	temp = (D * 8) / 100;

	std::cout << D + temp << std::endl;

	return 0;
}