#include<stdio.h>

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