#include <stdio.h>

int main(void)
{
	double d;
	double t;
	scanf("%lf", &d);

	t = d * 8;
	t /= 100;

	printf("%lf\n", d + t);

	return 0;
}