#include <stdio.h>

int main(void)
{
	long n;
	long e = 35;

	scanf("%ld", &n);
	
	e *= n;

	if (e % 10)
		printf("%.1f\n", (double)e / 10);
	else
		printf("%ld\n", e / 10);

	return 0;
}