#include <stdio.h>

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

  return 0;
}