#include <iostream>
#include <stdio.h>
using namespace std;
typedef long long LL;
int main(int argc, char* argv[])
{
	LL D;
	cin>>D;
	double d=(D*100+8*D)/100.0;
	printf("%.2llf\n",d);
	return 0;
}