#include<cstdio>

int main(){
  int n;
  scanf("%d",&n);
  printf("%f\n",n*3.5);
}