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