#include <stdio.h>
int main(void){
	int N;
	int bunbo = 1;
	int kazu = 0;
	double sum = 0;
	
	scanf("%d",&N);
	
/*	//	分母を計算する
	for(int i = 1; i <= N; i++){
		bunbo *= 6;
	}
	
	//	N != 1
	//	中央値までは上昇、それからは下降
	//	サイコロの数にも関係する
	for(int j = N; j <= 6*N; j++){
		if(j <= 7*N/2){
			kazu++;
		}else{
			kazu--;
		}
		sum += (double) j * kazu / bunbo;
	}
	printf("%g\n",sum);*/
	printf("%g\n",(double)N*3.5);
	return 0;
}