#include <stdio.h>

int main(void){
  long int d;
  scanf("%ld",&d);
  printf("%lf",d * 1.08);
}