#include<stdio.h>

int main(void){

int N;

scanf("%d",&N);

printf("%.2f\n",3.5*N);

return 0;
}