#include<stdio.h>
int main()
{
	int n;
	scanf("%d", &n);
	printf("%.5lf\n", n * 3.5);
	return 0;
}