#include<stdio.h>
#include<algorithm>
using namespace std;
int main(){
	int a;scanf("%d",&a);printf("%.12f\n",3.5*a);
}