#include <stdio.h>

int main(void){
	int n;
	double ans;
	
	scanf("%d", &n);
	ans = 3.5*n;
	
	printf("%f\n", ans);
	return 0;
}