#include<stdio.h>
int main(){
int i;
scanf("%d",&i);
printf("%.1f",i*3.5);
return 0;
}