#include<stdio.h>

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